Preprocessing and Inprocessing Techniques in SAT

  • Armin Biere (Speaker)

Activity: Talk or presentation › Invited talk › unknown

Period02 Sept 2011
Event titleThird Workshop on Kernelization (WorKer'11)
Event typeConference
LocationAustriaShow on map

Fields of science

  • 102 Computer Sciences
  • 101 Mathematics
  • 102011 Formal languages

JKU Focus areas

  • Computation in Informatics and Mathematics

Documents & Links