Christian Thiffault

According to our database1, Christian Thiffault authored at least 2 papers between 2003 and 2004.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2004
Solving Non-clausal Formulas with DPLL search.
Proceedings of the SAT 2004, 2004

2003
Dynamic Instrumentation of Large-Scale MPI and OpenMP Applications.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003


  Loading...