Conflict-driven clause learning SAT solvers

Joint German/Austrian Conference on Artificial Intelligence (Künstliche Intelligenz),2014, 引用: 0

Theory and Applications of Satisfiability Testing – SAT 2013,2013, 引用: 2

,2018, 引用: 20

theory and applications of satisfiability testing,2014, 引用: 53

Interactive Theorem Proving,2013, 引用: 25

Algebraic Informatics,2011, 引用: 0

european conference on artificial intelligence,2010, 引用: 15

haifa verification conference,2013, 引用: 5

international conference on logic programming,2013, 引用: 43

arXiv: Logic in Computer Science,2014, 引用: 3