A Boolean Encoding Including SAT and n-ary CSPs

DOI10.1007/11861461_6zbMath1158.68496OpenAlexW1595613959MaRDI 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

zbMATH Keywords

automated reasoningknowledge representation and reasoninglogic and constraint programming

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• BerkMin

This page was built for publication: A Boolean Encoding Including SAT and n-ary CSPs