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. 1655-1695 2004 10 J. UCS 12 http://www.jucs.org/jucs_10_12/function_complete_lookahead_in db/journals/jucs/jucs10.html#FrancoKSWDV04