No. Title Author Year
1 CadiBack: Extracting Backbones with CaDiCaL Biere, Armin et al. 2023
2 Faster LRAT Checking Than Solving with CaDiCaL Pollitt, Florian et al. 2023
3 IPASIR-UP: User Propagators for CDCL Fazekas, Katalin et al. 2023
4 Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411) Beyersdorff, Olaf et al. 2023
5 Migrating Solver State Biere, Armin et al. 2022
6 Theory and Practice of SAT Solving (Dagstuhl Seminar 15171) Biere, Armin et al. 2015
7 The Auspicious Couple: Symbolic Execution and WCET Analysis Biere, Armin et al. 2013
Current Page :
Number of result pages: 1
Number of documents: 7

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI