首页 > TAG信息列表 > clausal
文献学习-Proofs for Satisfiability Problems
Proofs for Satisfiability Problems Marijn J.H. Heule and Armin Biere 1 The University of Texas at Austin, United States 2 Johannes Kepler University, Linz, Austria 1 Introduction Satisfiability (SAT) solvers have become powerful tools to solve a