Abstract is missing.
- In Search of a Better Method to Break Row and Column SymmetriesAndrew Grayland, Ian Miguel, Colva M. Roney-Dougal. [doi]
- Inconsistency-Tolerant Reasoning with Classical Logic and Large DatabasesTimothy L. Hinrichs, Jui-Yi Kao, Michael R. Genesereth. [doi]
- Modelling Equidistant Frequency Permutation Arrays in ConstraintsIan P. Gent, Paul McKay, Ian Miguel, Peter Nightingale, Sophie Huczynska. [doi]
- Cluster Graphs as Abstractions for Constraint Satisfaction ProblemsSusan L. Epstein, Xingjian Li. [doi]
- Rewriting Constraint Models with MetamodelsRaphaël Chenouard, Laurent Granvilliers, Ricardo Soto. [doi]
- Importance of Variables Semantic in CNF Encoding of Cardinality ConstraintsAnbulagan, Alban Grastien. [doi]
- Light Algorithms for Maintaining Max-RPC During SearchJulien Vion, Romuald Debruyne. [doi]
- Downward Path Preserving State Space Abstractions (Extended Abstract)Sandra Zilles, Robert C. Holte. [doi]
- Abstraction-Based Heuristics with True Distance ComputationsAriel Felner, Nathan R. Sturtevant. [doi]
- Reformulating Planning Problems by Eliminating Unpromising ActionsLukás Chrpa, Roman Barták. [doi]
- Abstract Planning with Unknown Object Quantities and PropertiesSiddharth Srivastava, Neil Immerman, Shlomo Zilberstein. [doi]
- Efficient SAT Techniques for Absolute Encoding of Permutation Problems: Application to Hamiltonian CyclesMiroslav N. Velev, Ping Gao 0002. [doi]
- Integrating Constraint Models for Sequential and Partial-Order PlanningRoman Barták, Daniel Toropila. [doi]
- Some Interval Approximation Techniques for MINLPNicolas Berger, Laurent Granvilliers. [doi]
- Abstracting Complex Interaction NetworksLorenza Saitta, Corneliu Henegar, Jean-Daniel Zucker. [doi]
- Abductive Problem Solving with AbstractionsGianluca Torta, Daniele Theseider Dupré. [doi]
- Ontology-Based Link Prediction in the LiveJournal Social NetworkDoina Caragea, Vikas Bahirwani, Waleed Aljandal, William H. Hsu. [doi]
- Common Subexpressions in Constraint Models of Planning ProblemsAndrea Rendl, Ian Miguel, Ian P. Gent, Peter Gregory. [doi]
- A New Formula Rewriting by Reasoning on a Graphical Representation of SAT InstancesPhilippe Jégou, Lionel Paris. [doi]
- 2-C3: From Arc-Consistency to 2-ConsistencyMarlene Arangú, Miguel A. Salido, Federico Barber. [doi]
- A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application to Model-Based DiagnosisRui Abreu, Arjan J. C. van Gemund. [doi]
- A Practical Use of Imperfect RecallKevin Waugh, Martin Zinkevich, Michael Johanson, Morgan Kan, David Schnizlein, Michael H. Bowling. [doi]
- Confluence of Reduction Rules for Lexicographic Ordering ConstraintsAndrew Grayland, Ian Miguel, Colva M. Roney-Dougal. [doi]
- Automated Redesign with the General Redesign EngineAlexander Feldman, Gregory M. Provan, Johan de Kleer, Lukas Kuhn, Arjan J. C. van Gemund. [doi]
- Automatically Enhancing Constraint Model Instances during TailoringAndrea Rendl, Ian Miguel, Ian P. Gent, Christopher Jefferson. [doi]