Clause Simplifications in Search-Space Decomposition-Based SAT Solvers

Tobias PhilippTobias Philipp

Tobias Philipp
Clause Simplifications in Search-Space Decomposition-Based SAT Solvers
In Ulle Endriss, João Leite, eds., 7th European Starting AI Researcher Symposium (STAIRS), volume 264 of Frontiers in Artificial Intelligence and Applications, 211-219, 2014. IOS Press

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{P2014,
  author    = {Tobias Philipp},
  title     = {Clause Simplifications in Search-Space Decomposition-Based {SAT}
               Solvers},
  editor    = {Ulle Endriss and Jo{\~{a}}o Leite},
  booktitle = {7th European Starting {AI} Researcher Symposium (STAIRS)},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {264},
  publisher = {IOS Press},
  year      = {2014},
  pages     = {211-219}
}