Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing.

João Marques-Silva Karem A. Sakallah Inês Lynce

Published in: AI Mag. (2007)

Keyphrases

satisfiability testing
propositional logic
weighted model counting
theoretical framework
tie breaking
model counting
neural network
natural language
selected papers
general theory