Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers

PublikationenPublications

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

Toggle side column

Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers

Tobias PhilippTobias Philipp

Tobias Philipp
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers
Vienna Austria - Pragmatics of SAT 2014, July 2014

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@misc{P2014,
  author = {Tobias Philipp},
  title  = {Validating Unsatisfiability Results of Clause Sharing Parallel {SAT}
            Solvers},
  year   = {2014},
  month  = {July}
}