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}
}