%0 Journal Article %1 journals/dam/LynceS07 %A Lynce, Inês %A Marques-Silva, João %D 2007 %J Discret. Appl. Math. %K dblp %N 12 %P 1604-1612 %T Random backtracking in backtrack search algorithms for satisfiability. %U http://dblp.uni-trier.de/db/journals/dam/dam155.html#LynceS07 %V 155

@article{journals/dam/LynceS07, added-at = {2023-04-03T00:00:00.000+0200}, author = {Lynce, Inês and Marques-Silva, João}, biburl = {https://www.bibsonomy.org/bibtex/2a889237dc40eba77c73c8fa8cb957883/dblp}, ee = {https://doi.org/10.1016/j.dam.2005.10.021}, interhash = {828a212a6b9e0dc24858b9edf6d9b68d}, intrahash = {a889237dc40eba77c73c8fa8cb957883}, journal = {Discret. Appl. Math.}, keywords = {dblp}, number = 12, pages = {1604-1612}, timestamp = {2024-04-09T01:28:41.000+0200}, title = {Random backtracking in backtrack search algorithms for satisfiability.}, url = {http://dblp.uni-trier.de/db/journals/dam/dam155.html#LynceS07}, volume = 155, year = 2007 }