|
Search the dblp DataBase
Duc-Khanh Tran:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. [Citation Graph (0, 0)][DBLP] ICTAC, 2004, pp:372-386 [Conf]
- Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
On Superposition-Based Satisfiability Procedures and Their Combination. [Citation Graph (0, 0)][DBLP] ICTAC, 2005, pp:594-608 [Conf]
- Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
Automatic Combinability of Rewriting-Based Satisfiability Procedures. [Citation Graph (0, 0)][DBLP] LPAR, 2006, pp:542-556 [Conf]
- Christopher Lynch, Duc-Khanh Tran
Automatic Decidability and Combinability Revisited. [Citation Graph (0, 0)][DBLP] CADE, 2007, pp:328-344 [Conf]
- Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
Combining Proof-Producing Decision Procedures. [Citation Graph (0, 0)][DBLP] FroCos, 2007, pp:237-251 [Conf]
SMELS: Satisfiability Modulo Equality with Lazy Superposition. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|