Login / Signup

Simple but Hard Mixed Horn Formulas.

Gayathri NamasivayamMiroslaw Truszczynski
Published in: SAT (2010)
Keyphrases
  • databases
  • object oriented