The Symmetry Rule for Quantified Boolean Formulas

Activity: Talk or presentation › Contributed talk › science-to-science

Description

We extend QBF resolution with a rule for exploiting symmetries and analyze the impact on the power of the new proof system.
Period08 Jul 2018
Event titleInternational Workshop on Proof Complexity
Event typeConference
LocationUnited KingdomShow on map

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences
  • 102031 Theoretical computer science
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence

JKU Focus areas

  • Computation in Informatics and Mathematics

Documents & Links