CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing

Norbert MantheyNorbert Manthey

Norbert Manthey
CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing
In Carsten Lutz and Michael Tielscher, eds., KI 2014: Advances in Artificial Intelligence, volume 8736 of Lecture Notes in Computer Science, 98-110, 2014. Springer

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@inproceedings{M2014,
  author    = {Norbert Manthey},
  title     = {CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning
               and On-the-fly Probing},
  editor    = {Carsten Lutz and Michael Tielscher},
  booktitle = {KI 2014: Advances in Artificial Intelligence},
  series    = {Lecture Notes in Computer Science},
  volume    = {8736},
  publisher = {Springer},
  year      = {2014},
  pages     = {98-110}
}