A Boolean Encoding Including SAT and n-ary CSPs
From MaRDI portal
Publication:3541829
DOI10.1007/11861461_6zbMath1158.68496MaRDI QIDQ3541829
Belaïd Benhamou, Lionel Paris, Pierre Siegel
Publication date: 27 November 2008
Published in: Artificial Intelligence: Methodology, Systems, and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11861461_6
68T27: Logic in artificial intelligence
68T30: Knowledge representation
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Uses Software