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

PublikationenPublications

• Nach AutorBy Author
  • Norbert MantheyNorbert Manthey
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

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
Stuttgart, Deutschland - German Conference on Artificial Intelligence, September 2014

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@misc{M2014,
  author = {Norbert Manthey},
  title  = {CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and
            On-the-fly Probing},
  year   = {2014},
  month  = {September}
}