1. Glucose: a solver that predicts learnt clauses quality;audemard;Sat competition,2009
2. Deepsat: An eda-driven learning framework for sat;li;ArXiv Preprint,2022
3. A circuit sat solver with signal correlation guided learning;lu;2003 Design Automation and Test in Europe Conference and Exhibition,0
4. Graph Learning-Based Arithmetic Block Identification
5. On the Complexity of Derivation in Propositional Calculus