An Experiment with Satisfiability Modulo SAT
暂无分享,去创建一个
[1] Cesare Tinelli,et al. Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T) , 2006, JACM.
[2] Rob A. Rutenbar,et al. A new FPGA detailed routing approach via search-based Booleansatisfiability , 2002, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[3] Donald W. Loveland,et al. A machine program for theorem-proving , 2011, CACM.
[4] Maya Mohsin Ahmed,et al. Algebraic Combinatorics of Magic Squares , 2004 .
[5] Niklas Sörensson,et al. Translating Pseudo-Boolean Constraints into SAT , 2006, J. Satisf. Boolean Model. Comput..
[6] Sharad Malik,et al. Chaff: engineering an efficient SAT solver , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
[7] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[8] Hantao Zhang,et al. An Efficient Algorithm for Unit Propagation , 1996 .
[9] Bart Selman,et al. Satisfiability Solvers , 2008, Handbook of Knowledge Representation.
[10] Alan J. Hu,et al. Efficient modular SAT solving for IC3 , 2013, 2013 Formal Methods in Computer-Aided Design.
[11] Kejun Chen,et al. A family of pandiagonal bimagic squares based on orthogonal arrays , 2011 .
[12] Holger Hermanns,et al. Proceedings of the 19th international conference on Computer aided verification , 2007 .
[13] J. WILLIS. Magic Squares , 1902, Nature.
[14] Hantao Zhang,et al. Combinatorial Designs by SAT Solvers , 2021, Handbook of Satisfiability.
[15] Theo Tryfonas,et al. Frontiers in Artificial Intelligence and Applications , 2009 .
[16] David L. Dill,et al. A decision procedure for an extensional theory of arrays , 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
[17] Aaron Stump,et al. SMT-COMP: Satisfiability Modulo Theories Competition , 2005, CAV.
[18] Gakuho Abe,et al. Unsolved problems on magic squares , 1994, Discret. Math..
[19] Meinolf Sellmann,et al. Streamlined Constraint Reasoning , 2004, CP.
[20] Hantao Zhang,et al. SATO: An Efficient Propositional Prover , 1997, CADE.