CAMA: A Multi-Valued Satisfiability Solver
暂无分享,去创建一个
[1] Donald W. Loveland,et al. A machine program for theorem-proving , 2011, CACM.
[2] Robert K. Brayton,et al. Multi-valued logic synthesis , 1999, Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).
[3] J. Freeman. Improvements to propositional satisfiability search algorithms , 1995 .
[4] Hantao Zhang,et al. SATO: An Efficient Propositional Prover , 1997, CADE.
[5] Eugene Goldberg,et al. BerkMin: A Fast and Robust Sat-Solver , 2002, Discret. Appl. Math..
[6] Robert K. Brayton,et al. Combinational test generation using satisfiability , 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[7] Hilary Putnam,et al. A Computing Procedure for Quantification Theory , 1960, JACM.
[8] Joao Marques-Silva,et al. GRASP: A Search Algorithm for Propositional Satisfiability , 1999, IEEE Trans. Computers.
[9] Bart Selman,et al. Noise Strategies for Improving Local Search , 1994, AAAI.
[10] Alan M. Frisch,et al. Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings , 2001, Journal of Automated Reasoning.