Open AccessA Proof-Producing CSP Solver
Author(s) -
M. A. Veksler,
Ofer Strichman
Publication year - 2010
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - Uncategorized
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v24i1.7543
Subject(s) - premise , computer science , resolution (logic) , parameterized complexity , generalization , proof of concept , conjunctive normal form , process (computing) , constraint (computer aided design) , algorithm , programming language , mathematics , mathematical analysis , philosophy , linguistics , geometry , operating system