A constraint-based architecture for local search
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Model induction: a new source of CSP model redundancy
Eighteenth national conference on Artificial intelligence
Propagation algorithms for lexicographic ordering constraints
Artificial Intelligence
Cardinal: A Finite Sets Constraint Solver
Constraints
Using solution properties within an enumerative search to solve a sports league scheduling problem
Discrete Applied Mathematics
It Is Time to Mechanize Programming Language Metatheory
Verified Software: Theories, Tools, Experiments
Hybrid Local Search Techniques for the Generalized Balanced Academic Curriculum Problem
HM '08 Proceedings of the 5th International Workshop on Hybrid Metaheuristics
Generalising Constraint Solving over Finite Domains
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Theory and Practice of Logic Programming
Transparent Parallelization of Constraint Programming
INFORMS Journal on Computing
Anytime local search for distributed constraint optimization
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Dual modelling of permutation and injection problems
Journal of Artificial Intelligence Research
A fast and simple algorithm for bounds consistency of the all different constraint
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
On implementing symmetry detection
Constraints
The TPTP Problem Library and Associated Infrastructure
Journal of Automated Reasoning
A study of greedy, local search, and ant colony optimization approaches for car sequencing problems
EvoWorkshops'03 Proceedings of the 2003 international conference on Applications of evolutionary computing
MiniZinc: towards a standard CP modelling language
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Min-domain ordering for asynchronous backtracking
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
A translational approach to constraint answer set solving
Theory and Practice of Logic Programming
Symmetries of Symmetry Breaking Constraints
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
Symmetry-breaking answer set solving
AI Communications - Answer Set Programming
Parallel constraint-based local search on the HA8000 supercomputer (abstract)
Proceedings of the 2011 ACM Symposium on Applied Computing
CSCLP'09 Proceedings of the 14th Annual ERCIM international conference on Constraint solving and constraint logic programming
Experiments in parallel constraint-based local search
EvoCOP'11 Proceedings of the 11th European conference on Evolutionary computation in combinatorial optimization
Synthesis of search algorithms from high-level CP models
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Sports league scheduling: enumerative search for prob026 from CSPLib
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Scheduling social golfers with memetic evolutionary programming
HM'06 Proceedings of the Third international conference on Hybrid Metaheuristics
Partial solutions with unique completion
Reasoning, Action and Interaction in AI Theories and Systems
The balanced academic curriculum problem revisited
Journal of Heuristics
Mechanized metatheory for the masses: the PoplMark challenge
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
Performance analysis of parallel constraint-based local search
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming
CMBSlib: a library for comparing formalisms and models of biological systems
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Dealing with Satisfiability and n-ary CSPs in a Logical Framework
Journal of Automated Reasoning
Targeting the Cell Broadband Engine for constraint-based local search
Concurrency and Computation: Practice & Experience
Translation-based constraint answer set solving
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Explaining flow-based propagation
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Hybrid heuristics for multimodal homecare scheduling
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
The finite domain constraint solver of SWI-Prolog
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Constraint propagation as the core of local search
SETN'12 Proceedings of the 7th Hellenic conference on Artificial Intelligence: theories and applications
ACSC '12 Proceedings of the Thirty-fifth Australasian Computer Science Conference - Volume 122
Hi-index | 0.00 |