Optimal Distributed Arc-Consistency
Constraints
Fast parallel heuristics for the job shop scheduling problem
Computers and Operations Research
Parallel Implementation of Constraint Solving
PaCT '999 Proceedings of the 5th International Conference on Parallel Computing Technologies
Consistency Maintenance for ABT
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Asynchronous aggregation and consistency in distributed constraint satisfaction
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Exact Max-SAT solvers for over-constrained problems
Journal of Heuristics
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
Exploiting hierarchy and structure to efficiently solve graph coloring as SAT
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
Generalised graph colouring by a hybrid of local search and constraint programming
Discrete Applied Mathematics
Comparison of Boolean satisfiability encodings on FPGA detailed routing problems
Proceedings of the conference on Design, automation and test in Europe
The Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width
CPAIOR '07 Proceedings of the 4th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Propagation via lazy clause generation
Constraints
Logarithmic-time updates and queries in probabilistic networks
Journal of Artificial Intelligence Research
Optimistic parallel discrete relaxation
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
An efficient arc consistency algorithm for a class of CSP problems
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Asynchronous aggregation and consistency in distributed constraint satisfaction
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Experiments with massively parallel constraint solving
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Variable dependency in local search: prevention Is better than cure
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
Towards robust CNF encodings of cardinality constraints
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
The log-support encoding of CSP into SAT
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Modelling Max-CSP as partial Max-SAT
SAT'08 Proceedings of the 11th international conference on Theory and applications of satisfiability testing
Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Lookahead in smodels compared to local consistencies in CSP
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
A boolean encoding including SAT and n-ary CSPs
AIMSA'06 Proceedings of the 12th international conference on Artificial Intelligence: methodology, Systems, and Applications
Solving over-constrained problems with SAT technology
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
Dealing with Satisfiability and n-ary CSPs in a Logical Framework
Journal of Automated Reasoning
Solving constraint satisfaction problems with SAT technology
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
An overview of parallel SAT solving
Constraints
Scalable parallel interval propagation for sparse constraint satisfaction problems
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Azucar: a SAT-based CSP solver using compact order encoding
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
Hi-index | 0.00 |