An Experimental Study of Search Strategies and Heuristics in Answer Set Programming
暂无分享,去创建一个
[1] Esra Erdem,et al. Theory and applications of answer set programming , 2002 .
[2] J. Freeman. Improvements to propositional satisfiability search algorithms , 1995 .
[3] Sharad Malik,et al. Efficient conflict driven learning in a Boolean satisfiability solver , 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).
[4] Ilkka Niemelä,et al. Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.
[5] Sharad Malik,et al. Chaff: engineering an efficient SAT solver , 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
[6] Enrico Giunchiglia,et al. On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) , 2005, ICLP.
[7] Armando Tacchella,et al. (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver , 2003, CP.
[8] Patrick Prosser,et al. HYBRID ALGORITHMS FOR THE CONSTRAINT SATISFACTION PROBLEM , 1993, Comput. Intell..
[9] Yuliya Lierler,et al. SAT-Based Answer Set Programming , 2004, AAAI.
[10] Timo Soininen,et al. Extending and implementing the stable model semantics , 2000, Artif. Intell..
[11] Chu Min Li,et al. Heuristics Based on Unit Propagation for Satisfiability Problems , 1997, IJCAI.
[12] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.
[13] Laurent Simon,et al. Fifty-Five Solvers in Vancouver: The SAT 2004 Competition , 2004, SAT (Selected Papers.
[14] Joao Marques-Silva,et al. GRASP-A new search algorithm for satisfiability , 1996, Proceedings of International Conference on Computer Aided Design.
[15] Roberto J. Bayardo,et al. Using CSP Look-Back Techniques to Solve Real-World SAT Instances , 1997, AAAI/IAAI.
[16] François Fages,et al. Consistency of Clark's completion and existence of stable models , 1992, Methods Log. Comput. Sci..
[17] Wolfgang Faber,et al. Experimenting with Heuristics for Answer Set Programming , 2001, IJCAI.
[18] Donald W. Loveland,et al. A machine program for theorem-proving , 2011, CACM.