×

Found 30 Documents (Results 1–30)

On the integration of singleton consistencies and look-ahead heuristics. (English) Zbl 1162.68651

Fages, François (ed.) et al., Recent advances in constraints. 12th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2007, Rocquencourt, France, June 7–8, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-89811-5/pbk). Lecture Notes in Computer Science 5129. Lecture Notes in Artificial Intelligence, 62-75 (2008).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Resolution complexity of random constraint satisfaction problems: another half of the story. (English) Zbl 1179.68142

Kranakis, Evangelos (ed.) et al., Typical case complexity and phase transitions. Papers from the workshop, Ottawa, ON, Canada, May 14–16, 2003. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 16, 15-20 (2003).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software