Finding Small Unsatisfiable Cores to Prove Unsatisfiability of QBFs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yannet Interian, Gabriel Corvera, Bart Selman, Ryan Williams. Finding Small Unsatisfiable Cores to Prove Unsatisfiability of QBFs. In International Symposium on Artificial Intelligence and Mathematics (ISAIM 2006), Fort Lauderdale, Florida, USA, January 4-6, 2006. 2006. [doi]

This author has not been identified. Look up 'Yannet Interian' in GoogleThis author has not been identified. Look up 'Gabriel Corvera' in GoogleThis author has not been identified. Look up 'Bart Selman' in GoogleThis author has not been identified. Look up 'Ryan Williams' in Google

runs on WebDSL