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

PublikationenPublications

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

Toggle side column

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

Steffen HölldoblerSteffen Hölldobler

Steffen Hölldobler
SAT-Solving: State-of-the-Art and Challenges (INFOCOM-6)
North-Caucasus Federal University, Stawropol, Russland, April 2014

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

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