Where does SAT not work?

  • Armin Biere (Speaker)

Activity: Talk or presentation › Contributed talk › unknown

Period20 Jan 2014
Event titleWorkshop on Theoretical Foundations of Applied SAT Solving. Banff International Research Station for Mathematical Innovation and Discovery
Event typeConference
LocationCanadaShow on map

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences

JKU Focus areas

  • Computation in Informatics and Mathematics