Propagation in CSP and SAT
From MaRDI portal
Publication:3524239
DOI10.1007/11889205_12zbMath1160.68542MaRDI 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
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items