%0 Conference Paper %1 conf/sat/DantsinW04a %A Dantsin, Evgeny %A Wolpert, Alexander %B SAT (Selected Papers %D 2004 %E Hoos, Holger H. %E Mitchell, David G. %I Springer %K dblp %P 80-88 %T Derandomization of Schuler's Algorithm for SAT. %U http://dblp.uni-trier.de/db/conf/sat/sat2004lncs.html#DantsinW04a %V 3542 %@ 3-540-27829-X

@inproceedings{conf/sat/DantsinW04a, added-at = {2023-09-30T00:00:00.000+0200}, author = {Dantsin, Evgeny and Wolpert, Alexander}, biburl = {https://www.bibsonomy.org/bibtex/219150a93b68be1d1a543e9ab542a90fa/dblp}, booktitle = {SAT (Selected Papers}, crossref = {conf/sat/2004lncs}, editor = {Hoos, Holger H. and Mitchell, David G.}, ee = {https://doi.org/10.1007/11527695_7}, interhash = {c7c5a9ddd45dd36c80382f8c103ab505}, intrahash = {19150a93b68be1d1a543e9ab542a90fa}, isbn = {3-540-27829-X}, keywords = {dblp}, pages = {80-88}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T06:09:14.000+0200}, title = {Derandomization of Schuler's Algorithm for SAT.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2004lncs.html#DantsinW04a}, volume = 3542, year = 2004 }