Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 > Lookahead Saturation with Restriction for SAT
Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 |
Peter van Beek
Springer Berlin Heidelberg
Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005
Lookahead Saturation with Restriction for SAT
Authors

Anbulagan; John Slaney

ARI Id

1664725866912_2948483

Access

Not Available Free

Pages

727-731

DOI

10.1007/11564751_53

Chapter URL

https://rd.springer.com/chapter/10.1007/11564751_53

Table of Contents of Book
Showing 1 to 20 of 123 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Search and Inference in AI Planning
Héctor Geffner
1-4
OWL: A Description Logic Based Ontology Language
Ian Horrocks
5-8
Preference Reasoning
Francesca Rossi
9-12
The G12 Project: Mapping Solver Independent Models to Efficient Solutions
Peter J. Stuckey; Maria Garcia de la Banda; Michael Maher; Kim Marriott; John Slaney; Zoltan Somogyi et al.
13-16
Symmetry Definitions for Constraint Satisfaction Problems
David Cohen; Peter Jeavons; Christopher Jefferson; Karen E. Petrie; Barbara M. Smith
17-31
Dynamic Ordering for Asynchronous Backtracking on DisCSPs
Roie Zivan; Amnon Meisels
32-46
Incremental Algorithms for Local Search from Existential Second-Order Logic
Magnus Ågren; Pierre Flener; Justin Pearson
47-61
Inter-distance Constraint: An Extension of the All-Different Constraint for Scheduling Equal Length Jobs
Konstantin Artiouchine; Philippe Baptiste
62-76
Mind the Gaps: A New Splitting Strategy for Consistency Techniques
Heikel Batnini; Claude Michel; Michel Rueher
77-91
Graph Invariants as Necessary Conditions for Global Constraints
Nicolas Beldiceanu; Mats Carlsson; Jean-Xavier Rampon; Charlotte Truchet
92-106
Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation
Luca Benini; Davide Bertozzi; Alessio Guerri; Michela Milano
107-121
Sub-optimality Approximations
Russell Bent; Irit Katriel; Pascal Van Hentenryck
122-136
A Linear-Logic Semantics for Constraint Handling Rules
Hariolf Betz; Thom Frühwirth
137-151
Distributed Stable Matching Problems
Ismel Brito; Pedro Meseguer
152-166
Beyond Hypertree Width: Decomposition Methods Without Decompositions
Hubie Chen; Víctor Dalmau
167-181
Ad-hoc Global Constraints for Life
Kenil C. K. Cheng; Roland H. C. Yap
182-195
Tractable Clones of Polynomials over Semigroups
Víctor Dalmau; Ricard Gavaldà; Pascal Tesson; Denis Thérien
196-210
CP(Graph): Introducing a Graph Computation Domain in Constraint Programming
Gregoire Dooms; Yves Deville; Pierre Dupont
211-225
Interval Analysis in Scheduling
Jérôme Fortin; Paweł Zieliński; Didier Dubois; Hélène Fargier
226-240
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 123 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings