Duckki Oe

Publication Activity (10 Years)

Years Active: 2010-2013
Publications (10 Years): 0

Top Topics

Coalition Logic

Propositional Satisfiability

Logical Framework

Top Venues

Formal Methods Syst. Des.

Publications

Aaron Stump, Duckki Oe, Andrew Reynolds, Liana Hadarean, Cesare Tinelli
SMT proof checking using a logical framework. Formal Methods Syst. Des. 42 (1) (2013)
Duckki Oe, Aaron Stump, Corey Oliver, Kevin Clancy
versat: A Verified Modern SAT Solver. VMCAI (2012)
Robert Brummayer, Duckki Oe, Aaron Stump
Exploring Predictability of SAT/SMT Solvers. EMSQMS@IJCAR (2010)