Gabriel Corvera

According to our database, Gabriel Corvera authored at least 1 paper in 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2006

Finding Small Unsatisfiable Cores to Prove Unsatisfiability of QBFs.

Yannet Interian, Gabriel Corvera, Bart Selman, Ryan Williams

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2006