Solution techniques for constraint satisfaction problems: Foundations
From MaRDI portal
Publication:5941764
DOI10.1023/A:1011039901653zbMath0976.68144MaRDI QIDQ5941764
Publication date: 9 September 2001
Published in: Artificial Intelligence Review (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1011039901653
68P10: Searching and sorting
68T99: Artificial intelligence
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Finding rough and fuzzy-rough set reducts with SAT, Backjump-based backtracking for constraint satisfaction problems
Uses Software