MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Michal Kouril" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

ATOM

Resolution Tunnels for Improved SAT Solver Performance
by Michal Kouril, John Franco — 2005 — In Proc. of 8th International Conference on Theory and Applications of Satisfiability Testing
…Resolution Tunnels for Improved SAT Solver Performance Michal Kouril 1 and John Franco 1…
Cited by 2 (0 self) – Add To MetaCart

M.: Function-complete lookahead in support of efficient SAT search heuristics
by John Franco, Michal Kouril, John Schlipf, Sean Weaver, Michael Dransfield, W. Mark Vanfleet — 2004 — Journal of Universal Computer Science
…@(email omitted);) Michal Kouril (University of Cincinnati, Cincinnati, Ohio, U.S.A. mkouril@(email omitted);) John Schlipf…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 2.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB