%0 Conference Paper %1 conf/aaai/Fukunaga02 %A Fukunaga, Alex S. %B AAAI/IAAI %D 2002 %E Dechter, Rina %E Kearns, Michael J. %E Sutton, Richard S. %I AAAI Press / The MIT Press %K dblp %P 641-648 %T Automated Discovery of Composite SAT Variable-Selection Heuristics. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2002.html#Fukunaga02

@inproceedings{conf/aaai/Fukunaga02, added-at = {2023-09-05T00:00:00.000+0200}, author = {Fukunaga, Alex S.}, biburl = {https://www.bibsonomy.org/bibtex/20baf7745e555b0c9d60e7a44cd67deee/dblp}, booktitle = {AAAI/IAAI}, crossref = {conf/aaai/2002}, editor = {Dechter, Rina and Kearns, Michael J. and Sutton, Richard S.}, ee = {http://www.aaai.org/Library/AAAI/2002/aaai02-096.php}, interhash = {514b0899fbacc1db798cb97f21428aae}, intrahash = {0baf7745e555b0c9d60e7a44cd67deee}, keywords = {dblp}, pages = {641-648}, publisher = {AAAI Press / The MIT Press}, timestamp = {2024-04-09T18:12:05.000+0200}, title = {Automated Discovery of Composite SAT Variable-Selection Heuristics.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2002.html#Fukunaga02}, year = 2002 }