Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers

PublikationenPublications

• Nach AutorBy Author
  • Tobias PhilippTobias Philipp
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers

Tobias PhilippTobias Philipp

Tobias Philipp
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers
Vienna Austria - Pragmatics of SAT 2014, July 2014

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@misc{P2014,
  author = {Tobias Philipp},
  title  = {Generic {CDCL} - A Formalization of Modern Propositional
            Satisfiability Solvers},
  year   = {2014},
  month  = {July}
}