Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

John Schlipf
University of Cincinnati, USA

J. Franco, M. Kouril, J. Schlipf, S. Weaver, M. Dransfield, W.M. Vanfleet:
Function-Complete Lookahead in Support of Efficient SAT Search Heuristics
/jucs_10_12/function_complete_lookahead_in
page 1655 - 1692
Vol.10 / Issue 12