%0 Conference Paper %1 conf/sat/ShawM20 %A Shaw, Arijit %A Meel, Kuldeep S. %B SAT %D 2020 %E Pulina, Luca %E Seidl, Martina %I Springer %K dblp %P 72-88 %T Designing New Phase Selection Heuristics. %U http://dblp.uni-trier.de/db/conf/sat/sat2020.html#ShawM20 %V 12178 %@ 978-3-030-51825-7

@inproceedings{conf/sat/ShawM20, added-at = {2022-10-02T00:00:00.000+0200}, author = {Shaw, Arijit and Meel, Kuldeep S.}, biburl = {https://www.bibsonomy.org/bibtex/22300a0fbffdca40905a2ffc49d504b36/dblp}, booktitle = {SAT}, crossref = {conf/sat/2020}, editor = {Pulina, Luca and Seidl, Martina}, ee = {https://doi.org/10.1007/978-3-030-51825-7_6}, interhash = {a8278e4d25d6989f4edd8d1b6b505ef7}, intrahash = {2300a0fbffdca40905a2ffc49d504b36}, isbn = {978-3-030-51825-7}, keywords = {dblp}, pages = {72-88}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T09:02:59.000+0200}, title = {Designing New Phase Selection Heuristics.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2020.html#ShawM20}, volume = 12178, year = 2020 }