Author of the publication

An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate.

, , , , and . SAT, volume 10491 of Lecture Notes in Computer Science, page 119-135. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Logical Characterization of Coherent Uninterpreted Programs., , and . FMCAD, page 77-85. IEEE, (2021)Speculative SAT Modulo SAT., , , and . TACAS (1), volume 14570 of Lecture Notes in Computer Science, page 43-60. Springer, (2024)CHC-COMP 2023: Competition Report., and . LSFA/HCVS, volume 402 of EPTCS, page 83-104. (2023)Fast Approximations of Quantifier Elimination., , , and . CAV (2), volume 13965 of Lecture Notes in Computer Science, page 64-86. Springer, (2023)Word Level Property Directed Reachability., , and . ICCAD, page 107:1-107:9. IEEE, (2020)Solving constrained Horn clauses modulo algebraic data types and recursive functions., , and . Proc. ACM Program. Lang., 6 (POPL): 1-29 (2022)