Christian Thiffault

Publication Activity (10 Years)

Years Active: 2003-2004
Publications (10 Years): 0

Publications

Christian Thiffault, Fahiem Bacchus, Toby Walsh
Solving Non-clausal Formulas with DPLL Search. CP (2004)
Christian Thiffault, Fahiem Bacchus, Toby Walsh
Solving Non-clausal Formulas with DPLL search. SAT (2004)
Christian Thiffault, Michael Voss, Steven T. Healey, Seon Wook Kim
Dynamic Instrumentation of Large-Scale MPI and OpenMP Applications. IPDPS (2003)