Christian Thiffault

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

Coauthor Index

1	Fahiem Bacchus	[2] [3]
2	Steven T. Healey	[1]
3	Seon Wook Kim	[1]
4	Michael Voss	[1]
5	Toby Walsh	[2] [3]

Colors in the list of coauthors