Recent trends in QBF solving

Activity: Talk or presentation › Invited talk › unknown

Period23 Jan 2014
Event titleTheoretical Foundations of Applied SAT Solving
Event typeConference
LocationCanadaShow on map

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences

JKU Focus areas

  • Computation in Informatics and Mathematics

Documents & Links