Keyword

constraint logic programming

Description: Constraint logic programming is a programming paradigm that combines logic programming with constraint solving to represent and solve computational problems.

Primary topic: Logic, programming, and type systems (27%)

Wikidata ID: wiki/Q5164378

OpenAlex ID: keywords/constraint-logic-programming

Constraint logic programming

1987 · J. Jaffar, J.-L. Lassez · ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) · 1,597

Constraint Processing

2003 · Rina Dechter · 1,488

Constraint logic programming: a survey

1994 · Joxan Jaffar, Michael J. Maher · The Journal of Logic Programming · 1,312

Prolog programming for artificial intelligence

1986 · Computer-Aided Design · 1,061

Programming with Constraints

1998 · Kimbal Marriott, Peter Stuckey · The MIT Press eBooks · 864

Complexity and expressive power of logic programming

2001 · Evgeny Dantsin, Thomas Eiter, et al. · ACM Computing Surveys · 739

Metaheuristics: A bibliography

1996 · Ibrahim H. Osman, Gilbert Laporte · Annals of Operations Research · 672

Theory and practice of constraint handling rules

1998 · Thom Frühwirth · The Journal of Logic Programming · 612

PDF

System Description: Twelf — A Meta-Logical Framework for Deductive Systems

1999 · Frank Pfenning, Carsten Schürmann · Lecture notes in computer science · 595

The CLP( ℛ ) language and system

1992 · Joxan Jaffar, Spiro Michaylov, et al. · ACM Transactions on Programming Languages and Systems · 521

PDF

The Constraint Logic Programming Language CHIP.

1988 · Mehmet Dincbas, Pascal Van Hentenryck, et al. · Future Generation Computer Systems · 491

SWI-Prolog

2011 · JAN WIELEMAKER, TOM SCHRIJVERS, et al. · Theory and Practice of Logic Programming · 385

PDF

Revising hull and box consistency

1999 · Frédéric Benhamou, Frédéric Goualard, et al. · The MIT Press eBooks · 331

Constraint Logic Programming Using ECLiPSe

2006 · Krzysztof R. Apt, Mark Wallace · Cambridge University Press eBooks · 316

Introducing global constraints in CHIP

1994 · N Beldiceanu, E Contejean · Mathematical and Computer Modelling · 315

Constraint handling rules

1995 · Thom Frühwirth · Lecture notes in computer science · 311

Extending chip in order to solve complex scheduling and placement problems

1993 · Abderrahmane Aggoun, Nicolas Beldiceanu · Mathematical and Computer Modelling · 304

Concurrent constraint programming

1990 · Vijay A. Saraswat, Martin Rinard · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 296

Applying interval arithmetic to real, integer, and boolean constraints

1997 · Frédéric Benhamou, William J. Older · The Journal of Logic Programming · 293

CLP(intervals) revisited

1994 · Frédéric Benhamou, David McAllester, et al. · 239

Constraint logic programming languages

1990 · Jacques Cohen · Communications of the ACM · 228

PDF

The Oz Programming Model

1995 · Gert Smolka · Lecture notes in computer science · 210

Design, implementation, and evaluation of the constraint language cc(FD)

1998 · Pascal Van Hentenryck, Vijay Saraswat, et al. · The Journal of Logic Programming · 199

PDF

Compiling constraints in clp(FD)

1996 · Philippe Codognet, Daniel Diaz · The Journal of Logic Programming · 198

PDF

SecPAL: Design and semantics of a decentralized authorization language

2010 · Moritz Y. Becker, Cédric Fournet, et al. · Journal of Computer Security · 189

Works count: 3,832

Citation count: 41,730