Articles by Author

Author

Michal Kouril

University of Cincinnati
Cincinnati, Ohio, United States of America

1 article by this author

Sort by:

Research Article

Function-Complete Lookahead in Support of Efficient SAT Search Heuristics

John Franco, Michal Kouril, John Schlipf, Sean Weaver, Michael Dransfield, W. Vanfleet

10.3217/jucs-010-12-1655

28-12-2004

Unique: 337 | Total: 413

1655-1692

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK

Web Analytics