Preface

DOI10.1017/S1471068417000199zbMath1379.68007OpenAlexW4238926881MaRDI QIDQ4593090

No author found.

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068417000199

zbMATH Keywords

constraint logic programming

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Uses Software

• MiniZinc

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A necessary condition for constructive negation in constraint logic programming
• Design and results of the Fifth Answer Set Programming Competition
• Integrating answer set programming and constraint logic programming
• On the computational cost of disjunctive logic programming: Propositional case
• Logic programs with stable model semantics as a constraint programming paradigm
• DPLL: The Core of Modern Satisfiability Solvers
• Solving SAT and SAT Modulo Theories
• Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
• Transformation-based bottom-up computation of the well-founded model
• GRASP: a search algorithm for propositional satisfiability
• The DLV system for knowledge representation and reasoning
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming
• Logic Programming
• A Computing Procedure for Quantification Theory

This page was built for publication: Preface