SAT-Solving: State-of-the-Art and Challenges (INFOCOM-6)

From International Center for Computational Logic
Toggle side column

SAT-Solving: State-of-the-Art and Challenges (INFOCOM-6)

Steffen HölldoblerSteffen Hölldobler
SAT-Solving: State-of-the-Art and Challenges (INFOCOM-6)


Steffen Hölldobler
SAT-Solving: State-of-the-Art and Challenges (INFOCOM-6)
North-Caucasus Federal University, Stawropol, Russland, April 2014
@misc{H2014,
  author = {Steffen H{\"{o}}lldobler},
  title  = {SAT-Solving: State-of-the-Art and Challenges (INFOCOM-6)},
  year   = {2014},
  month  = {April}
}