iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/sat/ShawM20.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - CPAPER ID - DBLP:conf/sat/ShawM20 AU - Shaw, Arijit AU - Meel, Kuldeep S. TI - Designing New Phase Selection Heuristics. BT - Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings SP - 72 EP - 88 PY - 2020// DO - 10.1007/978-3-030-51825-7_6 UR - https://doi.org/10.1007/978-3-030-51825-7_6 ER -