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

Theory and Practice of SAT Solving (Dagstuhl Seminar 15171).

Armin BiereVijay GaneshMartin GroheJakob NordströmRyan Williams
Published in: Dagstuhl Reports (2015)
Keyphrases
  • sat solving
  • sat solvers
  • information retrieval systems
  • boolean optimization
  • special case
  • orders of magnitude
  • cellular automata