%0 Conference Paper %1 conf/sat/CarvalhoM04 %A Carvalho, Elsa %A Marques-Silva, João %B SAT %D 2004 %K dblp %T Using Rewarding Mechanisms for Improving Branching Heuristics. %U http://dblp.uni-trier.de/db/conf/sat/sat2004.html#CarvalhoM04

@inproceedings{conf/sat/CarvalhoM04, added-at = {2023-04-03T00:00:00.000+0200}, author = {Carvalho, Elsa and Marques-Silva, João}, biburl = {https://www.bibsonomy.org/bibtex/28f8c7cbf3f6257a7b6334376e2021eee/dblp}, booktitle = {SAT}, crossref = {conf/sat/2004}, ee = {http://www.satisfiability.org/SAT04/programme/104.pdf}, interhash = {86ae6cbfe15d478ffb92a5fe7fa04557}, intrahash = {8f8c7cbf3f6257a7b6334376e2021eee}, keywords = {dblp}, timestamp = {2024-04-10T09:01:28.000+0200}, title = {Using Rewarding Mechanisms for Improving Branching Heuristics.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2004.html#CarvalhoM04}, year = 2004 }