Duckki Oe

According to our database, Duckki Oe authored at least 3 papers between 2010 and 2013.

Collaborative distances:

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

2013

SMT proof checking using a logical framework.

Aaron Stump, Duckki Oe, Andrew Reynolds, Liana Hadarean, Cesare Tinelli

Formal Methods Syst. Des., 2013

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

2010

Exploring Predictability of SAT/SMT Solvers.

Robert Brummayer, Duckki Oe, Aaron Stump

Proceedings of the Workshop on Evaluation Methods for Solvers, 2010