Corey Oliver

According to our database, Corey Oliver authored at least 2 papers in 2012.

Collaborative distances:

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

2012

versat: A Verified Modern SAT Solver.

Duckki Oe, Aaron Stump, Corey Oliver, Kevin Clancy

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

LFSC for SMT Proofs: Work in Progress.

Aaron Stump, Andrew Reynolds, Cesare Tinelli, Austin Laugesen, Harley Eades III, Corey Oliver, Ruoyu Zhang

Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012