Daniel Sheridan

Publication Activity (10 Years)

Years Active: 2001-2007
Publications (10 Years): 0

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Paul B. Jackson, Daniel Sheridan
A Compact Linear Translation for Bounded Model Checking. Electron. Notes Theor. Comput. Sci. 174 (3) (2007)
Daniel Sheridan
Bounded Model Checking with SNF, Alternating Automata, and Bu"chi Automata. Electron. Notes Theor. Comput. Sci. 119 (2) (2005)
Paul B. Jackson, Daniel Sheridan
Clause Form Conversions for Boolean Circuits. SAT (Selected Papers (2004)
Daniel Sheridan
The Optimality of a Fast CNF Conversion and its Use with SAT. SAT (2004)
Alessandro Cimatti, Marco Roveri, Daniel Sheridan
Bounded Verification of Past LTL. FMCAD (2004)
Daniel Sheridan
Dynamic Step Size Adjustment in Iterative Deepening Search. CP (2003)
Alan M. Frisch, Daniel Sheridan, Toby Walsh
A Fixpoint Based Encoding for Bounded Model Checking. FMCAD (2002)
Daniel Sheridan
Comparing SAT Encodings for Model Checking. CP (2001)