Author:
Han Hyojung,Somenzi Fabio
Publisher
Springer Berlin Heidelberg
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. CaDiCaL 2.0;Lecture Notes in Computer Science;2024
2. Hash-Based Preprocessing and Inprocessing Techniques in SAT Solvers;Theory and Applications of Satisfiability Testing – SAT 2021;2021
3. The Configurable SAT Solver Challenge (CSSC);Artificial Intelligence;2017-02
4. Evaluating CDCL Variable Scoring Schemes;Lecture Notes in Computer Science;2015
5. A Bit-Encoding Phase Selection Strategy for Satisfiability Solvers;Lecture Notes in Computer Science;2014