Constraint Logic Programming Using ECLiPSe
From MaRDI portal
Publication:3595036
DOI10.1017/CBO9780511607400zbMath1119.68044OpenAlexW2132210624MaRDI QIDQ3595036
Publication date: 10 August 2007
Full work available at URL: https://doi.org/10.1017/cbo9780511607400
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic programming (68N17)
Related Items (16)
Efficient Low-Level Connection Tableaux ⋮ A bi-objective approach for scheduling ground-handling vehicles in airports ⋮ Philosophy of the MiniZinc challenge ⋮ Fifty Years of Prolog and Beyond ⋮ Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs ⋮ Combining probabilistic algorithms, constraint programming and Lagrangian relaxation to solve the vehicle routing problem ⋮ A survey of constraint-based programming paradigms ⋮ Itemset mining: a constraint programming perspective ⋮ Capacitated vehicle routing problem with pick-up and alternative delivery (CVRPPAD): model and implementation using hybrid approach ⋮ Solving constraint satisfaction problems with SAT modulo theories ⋮ The design of the zinc modelling language ⋮ Visualising Reasoning: What ATP Can Learn From CP ⋮ From Rules to Constraint Programs with the Rules2CP Modelling Language ⋮ Constructing optimized constraint-preserving application conditions for model transformation rules ⋮ On the optimal modeling and evaluation of job shops with a total weighted tardiness objective: constraint programming vs. mixed integer programming ⋮ Hybrid metaheuristics for stochastic constraint programming
This page was built for publication: Constraint Logic Programming Using ECLiPSe