Clause Simplifications in Search-Space Decomposition-Based Sat Solvers

PublikationenPublications

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

Toggle side column

Clause Simplifications in Search-Space Decomposition-Based Sat Solvers

Tobias PhilippTobias Philipp

Tobias Philipp
Clause Simplifications in Search-Space Decomposition-Based Sat Solvers
7th European Starting AI Researcher Symposium (STAIRS), 264, Frontiers in Artificial Intelligence and Applications:211-219, 2014

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@article{P2014,
  author    = {Tobias Philipp},
  title     = {Clause Simplifications in Search-Space Decomposition-Based Sat
               Solvers},
  journal   = {7th European Starting {AI} Researcher Symposium (STAIRS)},
  volume    = {264, Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  year      = {2014},
  pages     = {211-219}
}