Login / Signup

True Crafted Formula Families for Benchmarking Quantified Satisfiability Solvers.

Simone HeisingerMartina Seidl
Published in: CICM (2023)
Keyphrases
  • universally quantified
  • counter intuitive
  • multi agent
  • computational complexity
  • special case