https://aaai.org/proceeding/sara-08-2009/ Association for the Advancement of Artificial Intelligence Tue, 14 Feb 2023 07:52:36 +0000 en-US hourly 1 https://wordpress.org/?v=6.7.1 https://aaai.org/wp-content/uploads/2022/12/cropped-white-logo-32x32.png https://aaai.org/proceeding/sara-08-2009/ 32 32 https://aaai.org/papers/00000-downward-path-preserving-state-space-abstractions-extended-abstract/ https://aaai.org/papers/00000-downward-path-preserving-state-space-abstractions-extended-abstract/#respond Wed, 01 Feb 2023 20:24:08 +0000 https://aaaiprod.wpengine.com/papers/0-downward-path-preserving-state-space-abstractions-extended-abstract/ The post Downward Path Preserving State Space Abstractions (Extended Abstract) appeared first on AAAI.

]]> https://aaai.org/papers/00000-downward-path-preserving-state-space-abstractions-extended-abstract/feed/ 0 https://aaai.org/papers/00000-abstracting-complex-interaction-networks/ https://aaai.org/papers/00000-abstracting-complex-interaction-networks/#respond Wed, 01 Feb 2023 20:24:08 +0000 https://aaaiprod.wpengine.com/papers/0-abstracting-complex-interaction-networks/ The post Abstracting Complex Interaction Networks appeared first on AAAI.

]]> https://aaai.org/papers/00000-abstracting-complex-interaction-networks/feed/ 0 https://aaai.org/papers/00000-2-c3-from-arc-consistency-to-2-consistency/ https://aaai.org/papers/00000-2-c3-from-arc-consistency-to-2-consistency/#respond Wed, 01 Feb 2023 20:24:08 +0000 https://aaaiprod.wpengine.com/papers/0-2-c3-from-arc-consistency-to-2-consistency/ The post 2-C3: From Arc-Consistency to 2-Consistency appeared first on AAAI.

]]> https://aaai.org/papers/00000-2-c3-from-arc-consistency-to-2-consistency/feed/ 0 https://aaai.org/papers/00000-tightened-transitive-closure-of-integer-addition-constraints/ https://aaai.org/papers/00000-tightened-transitive-closure-of-integer-addition-constraints/#respond Wed, 01 Feb 2023 20:24:08 +0000 https://aaaiprod.wpengine.com/papers/0-tightened-transitive-closure-of-integer-addition-constraints/ The post Tightened Transitive Closure of Integer Addition Constraints appeared first on AAAI.

]]> https://aaai.org/papers/00000-tightened-transitive-closure-of-integer-addition-constraints/feed/ 0 https://aaai.org/papers/00000-some-interval-approximation-techniques-for-minlp/ https://aaai.org/papers/00000-some-interval-approximation-techniques-for-minlp/#respond Wed, 01 Feb 2023 20:24:08 +0000 https://aaaiprod.wpengine.com/papers/0-some-interval-approximation-techniques-for-minlp/ The post Some Interval Approximation Techniques for MINLP appeared first on AAAI.

]]> https://aaai.org/papers/00000-some-interval-approximation-techniques-for-minlp/feed/ 0 https://aaai.org/papers/00000-rewriting-constraint-models-with-metamodels/ https://aaai.org/papers/00000-rewriting-constraint-models-with-metamodels/#respond Wed, 01 Feb 2023 20:24:08 +0000 https://aaaiprod.wpengine.com/papers/0-rewriting-constraint-models-with-metamodels/ The post Rewriting Constraint Models with Metamodels appeared first on AAAI.

]]> https://aaai.org/papers/00000-rewriting-constraint-models-with-metamodels/feed/ 0 https://aaai.org/papers/00000-reformulating-planning-problems-by-eliminating-unpromising-actions/ https://aaai.org/papers/00000-reformulating-planning-problems-by-eliminating-unpromising-actions/#respond Wed, 01 Feb 2023 20:24:08 +0000 https://aaaiprod.wpengine.com/papers/0-reformulating-planning-problems-by-eliminating-unpromising-actions/ The post Reformulating Planning Problems by Eliminating Unpromising Actions appeared first on AAAI.

]]> https://aaai.org/papers/00000-reformulating-planning-problems-by-eliminating-unpromising-actions/feed/ 0 https://aaai.org/papers/00000-ontology-based-link-prediction-in-the-livejournal-social-network/ https://aaai.org/papers/00000-ontology-based-link-prediction-in-the-livejournal-social-network/#respond Wed, 01 Feb 2023 20:24:08 +0000 https://aaaiprod.wpengine.com/papers/0-ontology-based-link-prediction-in-the-livejournal-social-network/ The post Ontology-Based Link Prediction in the LiveJournal Social Network appeared first on AAAI.

]]> https://aaai.org/papers/00000-ontology-based-link-prediction-in-the-livejournal-social-network/feed/ 0 https://aaai.org/papers/00000-modelling-equidistant-frequency-permutation-arrays-in-constraints/ https://aaai.org/papers/00000-modelling-equidistant-frequency-permutation-arrays-in-constraints/#respond Wed, 01 Feb 2023 20:24:08 +0000 https://aaaiprod.wpengine.com/papers/0-modelling-equidistant-frequency-permutation-arrays-in-constraints/ The post Modelling Equidistant Frequency Permutation Arrays in Constraints appeared first on AAAI.

]]> https://aaai.org/papers/00000-modelling-equidistant-frequency-permutation-arrays-in-constraints/feed/ 0 https://aaai.org/papers/00000-importance-of-variables-semantic-in-cnf-encoding-of-cardinality-constraints/ https://aaai.org/papers/00000-importance-of-variables-semantic-in-cnf-encoding-of-cardinality-constraints/#respond Wed, 01 Feb 2023 20:24:00 +0000 https://aaaiprod.wpengine.com/papers/0-importance-of-variables-semantic-in-cnf-encoding-of-cardinality-constraints/ The post Importance of Variables Semantic in CNF Encoding of Cardinality Constraints appeared first on AAAI.

]]> https://aaai.org/papers/00000-importance-of-variables-semantic-in-cnf-encoding-of-cardinality-constraints/feed/ 0