%0 Conference Paper %1 conf/aaim/Sanvicente-SanchezSI05 %A Sánchez, Héctor Sanvicente %A Solís, Juan Frausto %A Imperial-Valenzuela, Froilán %B AAIM %D 2005 %E Megiddo, Nimrod %E Xu, Yinfeng %E Zhu, Binhai %I Springer %K dblp %P 281-290 %T Solving SAT Problems with TA Algorithms Using Constant and Dynamic Markov Chains Length. %U http://dblp.uni-trier.de/db/conf/aaim/aaim2005.html#Sanvicente-SanchezSI05 %V 3521 %@ 3-540-26224-5

@inproceedings{conf/aaim/Sanvicente-SanchezSI05, added-at = {2022-04-09T00:00:00.000+0200}, author = {Sánchez, Héctor Sanvicente and Solís, Juan Frausto and Imperial-Valenzuela, Froilán}, biburl = {https://www.bibsonomy.org/bibtex/26487b46a5c2400f0617137d15173721d/dblp}, booktitle = {AAIM}, crossref = {conf/aaim/2005}, editor = {Megiddo, Nimrod and Xu, Yinfeng and Zhu, Binhai}, ee = {https://doi.org/10.1007/11496199_31}, interhash = {d834eb305ac32f411338fe385e52cd0a}, intrahash = {6487b46a5c2400f0617137d15173721d}, isbn = {3-540-26224-5}, keywords = {dblp}, pages = {281-290}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T13:02:16.000+0200}, title = {Solving SAT Problems with TA Algorithms Using Constant and Dynamic Markov Chains Length.}, url = {http://dblp.uni-trier.de/db/conf/aaim/aaim2005.html#Sanvicente-SanchezSI05}, volume = 3521, year = 2005 }