Propagation in CSP and SAT

DOI10.1007/11889205_12zbMath1160.68542OpenAlexW1808305197MaRDI QIDQ3524239

Kostas Stergiou, Yannis Dimopoulos

Publication date: 9 September 2008

Published in: Principles and Practice of Constraint Programming - CP 2006 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11889205_12

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

GAC Via Unit Propagation

This page was built for publication: Propagation in CSP and SAT