Managing SAT inconsistencies with HUMUS

Alexander Nöhrer, Armin Biere, Alexander Egyed

Research output: Chapter in Book/Report/Conference proceedingConference proceedingspeer-review

Original languageEnglish
Title of host publicationVaMoS 2012
PublisherACM 2012
Pages83 - 91
Number of pages8
ISBN (Print)978-1-4503-1058-1
Publication statusPublished - 2012

Fields of science

  • 102 Computer Sciences
  • 102007 Computer animation
  • 102009 Computer simulation
  • 102006 Computer supported cooperative work (CSCW)
  • 102015 Information systems
  • 501013 Motivational psychology
  • 211913 Quality assurance

Cite this