| Deep Cooperation of CDCL and Local Search for SAT
|
2021 |
Cai, Shaowei |
| Solving Non-uniform Planted and Filtered Random SAT Formulas Greedily
|
2021 |
Friedrich, Tobias |
| Chinese Remainder Encoding for Hamiltonian Cycles
|
2021 |
Heule, Marin J. H. |
| On the Hierarchical Community Structure of Practical Boolean Formulas
|
2021 |
Li, Chunxiao |
| XOR Local Search for Boolean Brent Equations
|
2021 |
Nawrocki, Wojciech |
| A Fast Algorithm for SAT in Terms of Formula Length
|
2021 |
Peng, Jungiang |
| PyDGGA: Distributed GGA for Automatic Configuration
|
2021 |
Ansótegui, Carlos |
| Hardness and Optimality in QBF Proof Systems Modulo NP
|
2021 |
Chew, Leroy |
| ProCount: Weighted Projected Model Counting with Graded Project-Join Trees
|
2021 |
Dudek, Jeffrey M. |
| Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5
|
2021 |
Huang, Pei |
| Assessing Progress in SAT Solvers Through the Lens of Incremental SAT
|
2021 |
Kochemazov, Stepan |
| On Dedicated CDCL Strategies for PB Solvers
|
2021 |
Berre, Daniel Le |
| Efficient Local Search for Pseudo Boolean Optimization
|
2021 |
Lei, Zhendong |
| Smt-Switch: A Solver-Agnostic C++ API for SMT Solving
|
2021 |
Mann, Makai |
| Proof Complexity of Symbolic QBF Reasoning
|
2021 |
Mengel, Stefan |
| MedleySolver: Online SMT Algorithm Selection
|
2021 |
Pimpalkhare, Nikhil |
| Logical Cryptanalysis with WDSat
|
2021 |
Trimoska, Monika |
| OptiLog: A Framework for SAT-based Systems
|
2021 |
Ansótegui, Carlos |
| Hash-Based Preprocessing and Inprocessing Techniaues in SAT Solvers
|
2021 |
Cao, Henrik |
| Weighted Model Counting Without Parameter Variables
|
2021 |
Dilkas, Paulius |
Tag hinzufügen