Abstract is missing.
- State Abstraction in Real-Time Heuristic SearchVadim Bulitko. 1 [doi]
- Abstraction and Reformulation in the Generation of Constraint ModelsAlan M. Frisch. 2-3 [doi]
- A Framework for Integrating Optimization and Constraint ProgrammingJohn N. Hooker. 4 [doi]
- DFS-Tree Based Heuristic SearchMontserrat Abril, Miguel A. Salido, Federico Barber. 5-19 [doi]
- Partial Pattern DatabasesKenneth Anderson, Robert Holte, Jonathan Schaeffer. 20-34 [doi]
- CDB-PV: A Constraint Database-Based Program VerifierScot Anderson, Peter Z. Revesz. 35-49 [doi]
- Generating Implied Boolean Constraints Via Singleton ConsistencyRoman Barták. 50-63 [doi]
- Reformulating Constraint Satisfaction Problems to Improve ScalabilityKenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock. 64-79 [doi]
- Reformulating Global Constraints: The Slideand RegularConstraintsChristian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Claude-Guy Quimper, Toby Walsh. 80-92 [doi]
- Relaxation of Qualitative Constraint NetworksDominique D Almeida, Jean-François Condotta, Christophe Lecoutre, Lakhdar Sais. 93-108 [doi]
- Dynamic Domain Abstraction Through Meta-diagnosisJohan de Kleer. 109-123 [doi]
- Channeling AbstractionStijn De Saeger, Atsushi Shimojima. 124-138 [doi]
- Approximate Model-Based Diagnosis Using Greedy Stochastic SearchAlexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund. 139-154 [doi]
- Combining Perimeter Search and Pattern Database AbstractionsAriel Felner, Nir Ofek. 155-168 [doi]
- Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional LogicIgor Gammer, Eyal Amir. 169-183 [doi]
- Tailoring Solver-Independent Constraint Models: A Case Study with Essence and MinionIan P. Gent, Ian Miguel, Andrea Rendl. 184-199 [doi]
- A Meta-CSP Model for Optimal PlanningPeter Gregory, Derek Long, Maria Fox. 200-214 [doi]
- Reformulation for Extensional ReasoningTimothy L. Hinrichs, Michael R. Genesereth. 215-229 [doi]
- An Abstract Theory and Ontology of Motion Based on the Regions Connection CalculusZina M. Ibrahim, Ahmed Y. Tawfik. 230-242 [doi]
- Computing and Using Lower and Upper Bounds for Action Elimination in MDP PlanningUgur Kuter, Jiaqiao Hu. 243-257 [doi]
- Model-Based Exploration in Continuous State SpacesNicholas K. Jong, Peter Stone. 258-272 [doi]
- Active Learning of Dynamic Bayesian Networks in Markov Decision ProcessesAnders Jonsson, Andrew G. Barto. 273-284 [doi]
- Boosting MUS ExtractionSantiago Macho González, Pedro Meseguer. 285-299 [doi]
- Homogeneous Hierarchical Composition of Areas in Multi-robot Area CoverageSriram Raghavan, Ravindran B. 300-313 [doi]
- Formalizing the Abstraction Process in Model-Based DiagnosisLorenza Saitta, Pietro Torasso, Gianluca Torta. 314-328 [doi]
- Boolean Approximation RevisitedPeter Schachte, Harald Søndergaard. 329-343 [doi]
- An Analysis of Map-Based Abstraction and RefinementNathan R. Sturtevant, M. Renee Jansen. 344-358 [doi]
- Solving Difficult SAT Instances Using Greedy Clique DecompositionPavel Surynek. 359-374 [doi]
- Abstraction and Complexity MeasuresLorenza Saitta, Jean-Daniel Zucker. 375-390 [doi]
- Abstraction, Emergence, and ThoughtRuss Abbott. 391-392 [doi]
- What s Your Problem? The Problem of Problem DefinitionJ. Christopher Beck, Michael Grüninger. 393-394 [doi]
- A Reformulation-Based Approach to Explanation in Constraint SatisfactionHadrien Cambazard, Barry O Sullivan. 395-396 [doi]
- Integration of Constraint Programming and MetaheuristicsBroderick Crawford, Carlos Castro, Eric Monfroy. 397-398 [doi]
- Rule-Based Reasoning Via AbstractionDavid C. Haley. 399 [doi]
- Extensional ReasoningTimothy L. Hinrichs. 400-401 [doi]
- Reformulating Constraint Models Using Input DataMartin Michalowski, Craig A. Knoblock, Berthe Y. Choueiry. 402-404 [doi]
- Using Analogy Discovery to Create AbstractionsMarc Pickett. 405-406 [doi]
- Distributed CSPs: Why It Is Assumed a Variable per Agent?Miguel A. Salido. 407-408 [doi]
- Decomposition of Games for Efficient ReasoningEric Schkufza. 409-410 [doi]
- Generalized Constraint AcquisitionXuan-Ha Vu, Barry O Sullivan. 411-412 [doi]
- Using Infeasibility to Improve Abstraction-Based HeuristicsFan Yang, Joseph C. Culberson, Robert Holte. 413-414 [doi]
- Leveraging Graph Locality Via AbstractionRong Zhou. 415-416 [doi]