SAT Solving - Scheduling, Generic CDCL, Partitioning

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

SAT Solving - Scheduling, Generic CDCL, Partitioning

Steffen HölldoblerSteffen Hölldobler

Steffen Hölldobler
SAT Solving - Scheduling, Generic CDCL, Partitioning
Jilin University, Changchun, China, November 2014

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@misc{H2014,
  author = {Steffen H{\"{o}}lldobler},
  title  = {SAT Solving - Scheduling, Generic {CDCL,} Partitioning},
  year   = {2014},
  month  = {November}
}