No. Title Author Year
1 Learning Shorter Redundant Clauses in SDCL Using MaxSAT Oliveras, Albert et al. 2023
2 Limits of CDCL Learning via Merge Resolution Vinyals, Marc et al. 2023
3 Machine Learning and Logical Reasoning: The New Frontier (Dagstuhl Seminar 22291) Bardin, S├ębastien et al. 2023
4 Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411) Beyersdorff, Olaf et al. 2023
5 Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442) Cadar, Christian et al. 2015
6 Theory and Practice of SAT Solving (Dagstuhl Seminar 15171) Biere, Armin et al. 2015
Current Page :
Number of result pages: 1
Number of documents: 6


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