From Cliques to Colorings and Back Again | 0 | 0.34 | 2022 |
The Packing Chromatic Number of the Infinite Square Grid Is at Least 14 | 0 | 0.34 | 2022 |
cake_lpr: Verified Propagation Redundancy Checking in CakeML. | 0 | 0.34 | 2021 |
A Flexible Proof Format for SAT Solver-Elaborator Communication. | 0 | 0.34 | 2021 |
Generating Extended Resolution Proofs with a BDD-Based SAT Solver. | 0 | 0.34 | 2021 |
Encoding Redundancy for Satisfaction-Driven Clause Learning. | 0 | 0.34 | 2019 |
What a Difference a Variable Makes. | 0 | 0.34 | 2018 |
Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions. | 0 | 0.34 | 2017 |