CP 2010 - PDF Preprint Papers

CP 2010 Principles and Practice of Constraint Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CP-2010 Paper

click to vote

CP
2010
Springer

243views Artificial Intelligence» more CP 2010»

A Complete Multi-valued SAT Solver

13 years 3 months ago

Download www.cs.brown.edu

We present a new complete multi-valued SAT solver, based on current state-of-the-art SAT technology. It features watched literal propagation and conﬂict driven clause learning. W...

Siddhartha Jain, Eoin O'Mahony, Meinolf Sellmann

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	243	A Complete Multi-valued SAT Solver	claim
2	166	An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management	claim
3	164	The Lattice Structure of Sets of Surjective Hyper-Operations	claim
4	162	Propagating the Bin Packing Constraint Using Linear Programming	claim
5	158	Contingency Plans for Air Traffic Management	claim
6	145	A Generic Visualization Platform for CP	claim
7	145	Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows	claim
8	141	Computing the Density of States of Boolean Formulas	claim
9	139	Including Ordinary Differential Equations Based Constraints in the Standard CP Framework	claim
10	136	A Box-Consistency Contractor Based on Extremal Functions	claim
11	136	Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP	claim
12	133	Context-Sensitive Call Control Using Constraints and Rules	claim
13	133	An Empirical Study of Optimization for Maximizing Diffusion in Networks	claim
14	130	Heuristics for Planning with SAT	claim
15	130	Generating Special-Purpose Stateless Propagators for Arbitrary Constraints	claim
16	125	On the Containment of Forbidden Patterns Problems	claim
17	125	Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity	claim
18	121	Testing Expressibility Is Hard	claim
19	118	Checking-Up on Branch-and-Check	claim
20	118	Ensemble Classification for Constraint Solver Configuration	claim
21	117	A Systematic Approach to MDD-Based Constraint Programming	claim
22	117	Constraint-Directed Search in Computational Finance and Economics	claim
23	113	Using Learnt Clauses in maxsat	claim
24	109	Exponential Propagation for Set Variables	claim
25	108	Local Consistency and SAT-Solvers	claim
26	99	Load Balancing and Almost Symmetries for RAMBO Quorum Hosting	claim
27	98	Domain Consistency with Forbidden Values	claim
28	94	Sweeping with Continuous Domains	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers