%0 Journal Article %1 journals/jucs/FrancoKSWDV04 %A Franco, John V. %A Kouril, Michal %A Schlipf, John S. %A Weaver, Sean A. %A Dransfield, Michael R. %A Vanfleet, W. Mark %D 2004 %J J. Univers. Comput. Sci. %K dblp %N 12 %P 1655-1695 %T Function-Complete Lookahead in Support of Efficient SAT Search Heuristics. %U http://dblp.uni-trier.de/db/journals/jucs/jucs10.html#FrancoKSWDV04 %V 10

@article{journals/jucs/FrancoKSWDV04, added-at = {2020-09-24T00:00:00.000+0200}, author = {Franco, John V. and Kouril, Michal and Schlipf, John S. and Weaver, Sean A. and Dransfield, Michael R. and Vanfleet, W. Mark}, biburl = {https://www.bibsonomy.org/bibtex/2cab8f7ae8403bac595db77b8445219a8/dblp}, ee = {https://doi.org/10.3217/jucs-010-12-1655}, interhash = {0388012b53dad9176f656dc29e260269}, intrahash = {cab8f7ae8403bac595db77b8445219a8}, journal = {J. Univers. Comput. Sci.}, keywords = {dblp}, number = 12, pages = {1655-1695}, timestamp = {2020-09-25T11:38:47.000+0200}, title = {Function-Complete Lookahead in Support of Efficient SAT Search Heuristics.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs10.html#FrancoKSWDV04}, volume = 10, year = 2004 }