SAT Solving - Scheduling, Generic CDCL, Partitioning

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

SAT Solving - Scheduling, Generic CDCL, Partitioning

Steffen HölldoblerSteffen Hölldobler
SAT Solving - Scheduling, Generic CDCL, Partitioning


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