Satisfiability Testing and its Applications

PublikationenPublications

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

Toggle side column

Satisfiability Testing and its Applications

Steffen HölldoblerSteffen Hölldobler

Steffen Hölldobler
Satisfiability Testing and its Applications
North Caucasus Federal University, Stavropol, October 2012

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@misc{H2012,
  author = {Steffen H{\"{o}}lldobler},
  title  = {Satisfiability Testing and its Applications},
  year   = {2012},
  month  = {October}
}