Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers

From International Center for Computational Logic
Toggle side column

Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers

Tobias PhilippTobias Philipp
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers


Tobias Philipp
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers
Stavropol, Russian Federation - Young Scientists' International Workshop on Trends in Information Processing, April 2014
@misc{P2014,
  author = {Tobias Philipp},
  title  = {Generic {CDCL} - A Formalization of Modern Propositional
            Satisfiability Solvers},
  year   = {2014},
  month  = {April}
}