Baselice, S., Bonatti, P. and Gelfond, M.
2015. Proc. of the 21st International Conference on Logic Programming, Gabbrielli, M. and Gupta, G., Eds. Lecture Notes in Computer Science, vol. 3668, 52–66.
Brass, S., Dix, J., Freitag, B. and Zukowski, U.
2001. Transformation-based bottom-up computation of the well-founded model. Theory and Practice of Logic Programming
1, 5, 497–538.
Calimeri, F., Gebser, M., Maratea, M. and Ricca, F.
2016. Design and results of the fifth answer set programming competition. Artificial Intelligence
Dal Palù, A., Dovier, A., Pontelli, E. and Rossi, G.
2009. Answer set programming with constraints using lazy grounding. In Proc. of 25th International Conference on Logic Programming, ICLP 2009, Pasadena, CA, USA, July 14–17, 2009, Hill, P. M. and Warren, D. S., Eds. Lecture Notes in Computer Science, vol. 5649. Springer, 115–129.
Davis, M. and Putnam, H.
1960. A computing procedure for quantification theory. Journal of the ACM
7, 3, 201–215.
Dovier, A., Formisano, A. and Pontelli, E.
2005. A comparison of CLP (FD) and ASP solutions to NP-complete problems. In Proc. of 21st International Conference on Logic Programming, ICLP 2005, Sitges, Spain, October 2–5, 2005, Gabbrielli, M. and Gupta, G., Eds. Lecture Notes in Computer Science, vol. 3668. Springer, 67–82.
Dovier, A., Pontelli, E. and Rossi, G.
2000. A necessary condition for constructive negation in constraint logic programming. Information Processing Letters
74, 3–4, 147–156.
Eiter, T. and Gottlob, G.
1995. On the computational cost of disjunctive logic programming: Propositional case. Annals of Mathematics and Artificial Intelligence
15, 3–4, 289–323.
Freuder, E. C. and Mackworth, A. K.
2006. Constraint satisfaction: An emerging paradigm. In Handbook of Constraint Programming, Rossi, F., van Beek, P., and Walsh, T., Eds. Foundations of Artificial Intelligence, vol. 2. Elsevier, 13–27.
Gebser, M., Kaufmann, B. and Schaub, T.
2009. The conflict-driven answer set solver clasp: Progress report. In Proc. of 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Erdem, E., Lin, F., and Schaub, T., Eds. Lecture Notes in Computer Science, vol. 5753. Springer, 509–514.
Gelfond, M. and Lifschitz, V.
1988. The stable model semantics for logic programming. In Proc. of the 5th International Conference and Symposium on Logic Programming, Seattle, Washington, August 15–19, 1988 (2 Volumes), Kowalski, R. A. and Bowen, K. A., Eds. MIT press, 1070–1080.
Jaffar, J. and Lassez, J.
1987. Constraint logic programming. In Conference Record of the 14th Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21–23, 1987. ACM, 111–119.
Jaffar, J., Lassez, J. and Maher, M. J.
1986. Logic programming language scheme. In Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 441–467.
Jaffar, J. and Maher, M. J.
1994. Constraint logic programming: A survey. Journal of Logic Programming
Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S. and Scarcello, F.
2006. The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic
7, 3, 499–562.
Lierler, Y. and Maratea, M.
2004. Cmodels-2: Sat-based answer set solver enhanced to non-tight programs. In Proc. of 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, Fort Lauderdale, FL, USA, January 6–8, 2004, Lifschitz, V. and Niemelä, I., Eds. Lecture Notes in Computer Science, vol. 2923. Springer, 346–350.
Loveland, D., Sabharwal, A. and Selman, B.
2017. DPLL: The core of modern satisfiability solvers. In Martin Davis on Computability, Computational Logic, and Mathematical Foundations, Omodeo, E. G. and Policriti, A., Eds. Springer, 315–335.
Marek, V. W. and Truszczyński, M.
1999. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: a 25-Year Perspective, Apt, K. R., Marek, W., Truszczyński, M., and Warren, D. S., Eds. Springer, 375–398 (also CoRR cs.LO/9809032, 1998).
Mellarkod, V. S., Gelfond, M. and Zhang, Y.
2008. Integrating answer set programming and constraint logic programming. Annals of Mathematics and Artificial Intelligence
53, 1–4, 251–287.
1988. Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann.
1999. Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence
25, 3–4, 241–273.
Nieuwenhuis, R., Oliveras, A. and Tinelli, C.
2006. Solving SAT and SAT modulo theories: From an abstract Davis–Putnam–Logemann–Loveland procedure to DPLL(T). Journal of the ACM
53, 6, 937–977.
Rao, P., Sagonas, K., Swift, T., Warren, D. S. and Freire, J.
1997. XSB: A system for efficiently computing well-founded semantics. In Proc. of Logic Programming and Nonmonotonic Reasoning—, LNCS, vol. 1265. Springer Verlag, 431–440.
Silva, J. P. M. and Sakallah, K. A.
1999. GRASP: A search algorithm for propositional satisfiability. IEEE Transactions on Computers
48, 5, 506–521.
2000. Extending and implementing the stable model semantics. Doctoral dissertation. Report 58, Helsinki University of Technology.
Stuckey, P. J.
1991. Constructive negation for constraint logic programming. In Proc. of the 6th Annual Symposium on Logic in Computer Science (LICS '91), Amsterdam, The Netherlands, July 15–18, 1991. IEEE Computer Society, 328–339.
Stuckey, P. J.
2010. Lazy clause generation: Combining the power of SAT and CP (and MIP?) solving. In Proc. of Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14–18, 2010, Lodi, A., Milano, M., and Toth, P., Eds. Lecture Notes in Computer Science, vol. 6140. Springer, 5–9.
Stuckey, P. J., Feydy, T., Schutt, A., Tack, G. and Fischer, J.
2014. The miniZinc challenge 2008–2013. AI Magazine
35, 2, 55–60.
Sutherland, I. E.
1963. Sketchpad: A Man-Machine Graphical Communications System. Technical Report 296, MIT, Lincoln Laboratory.
1975. Understanding line drawings of scenes with shadows. In The Psychology of Computer Vision, Winston, P. H., Ed. McGraw-Hill, 19–91.
Zhou, N., Kjellerstrand, H. and Fruhman, J.
2015. Constraint Solving and Planning with Picat. Springer Briefs in Intelligent Systems. Springer.