| 2006 |
|---|
| 7 | EE | Jerome L. Paul,
Michal Kouril,
Kenneth A. Berman:
A template library to facilitate teaching message passing parallel computing.
SIGCSE 2006: 464-468 |
| 2005 |
|---|
| 6 | EE | Michal Kouril,
Jerome L. Paul:
Brief announcement: dynamic interoperable point-to-point connection of MPI implementations.
PODC 2005: 352 |
| 5 | EE | Michal Kouril,
Jerome L. Paul:
Dynamic Interoperable Message Passing.
PVM/MPI 2005: 167-174 |
| 4 | EE | Michal Kouril,
John V. Franco:
Resolution Tunnels for Improved SAT Solver Performance.
SAT 2005: 143-157 |
| 2004 |
|---|
| 3 | EE | Michal Kouril,
Jerome L. Paul:
A parallel backtracking framework (BkFr) for single and multiple clusters.
Conf. Computing Frontiers 2004: 302-312 |
| 2 | EE | John V. Franco,
Michal Kouril,
John S. Schlipf,
Sean Weaver,
Michael Dransfield,
W. Mark Vanfleet:
Function-Complete Lookahead in Support of Efficient SAT Search Heuristics.
J. UCS 10(12): 1655-1695 (2004) |
| 2003 |
|---|
| 1 | EE | John V. Franco,
Michal Kouril,
John S. Schlipf,
Jeffrey Ward,
Sean Weaver,
Michael Dransfield,
W. Mark Vanfleet:
SBSAT: a State-Based, BDD-Based Satisfiability Solver.
SAT 2003: 398-410 |
