• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

João Marques-SilvaKarem A. SakallahInê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