Login / Signup

Strong conflict analysis for propositional satisfiability.

HoonSang JinFabio Somenzi
Published in: DATE (2006)
Keyphrases
  • propositional satisfiability
  • information retrieval
  • expert systems
  • search strategies
  • industrial applications