| 2008 |
|---|
| 6 | EE | Christopher Lynch,
Duc-Khanh Tran:
SMELS: Satisfiability Modulo Equality with Lazy Superposition.
ATVA 2008: 186-200 |
| 2007 |
|---|
| 5 | EE | Christopher Lynch,
Duc-Khanh Tran:
Automatic Decidability and Combinability Revisited.
CADE 2007: 328-344 |
| 4 | EE | Silvio Ranise,
Christophe Ringeissen,
Duc-Khanh Tran:
Combining Proof-Producing Decision Procedures.
FroCos 2007: 237-251 |
| 2006 |
|---|
| 3 | EE | Hélène Kirchner,
Silvio Ranise,
Christophe Ringeissen,
Duc-Khanh Tran:
Automatic Combinability of Rewriting-Based Satisfiability Procedures.
LPAR 2006: 542-556 |
| 2005 |
|---|
| 2 | EE | Hélène Kirchner,
Silvio Ranise,
Christophe Ringeissen,
Duc-Khanh Tran:
On Superposition-Based Satisfiability Procedures and Their Combination.
ICTAC 2005: 594-608 |
| 2004 |
|---|
| 1 | EE | Silvio Ranise,
Christophe Ringeissen,
Duc-Khanh Tran:
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn.
ICTAC 2004: 372-386 |
