Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Moving Definition Variables in Quantified Boolean Formulas | 0 | 0.34 | 2022 |
| Clausal Proofs for Pseudo-Boolean Reasoning | 0 | 0.34 | 2022 |
| XOR Local Search for Boolean Brent Equations | 0 | 0.34 | 2021 |
| Modeling Techniques for Logic Locking | 3 | 0.38 | 2020 |