Logic Programming

DOI10.1007/11562931zbMATH Open1165.68517OpenAlexW2104948204MaRDI QIDQ5475765FDOQ5475765

Authors: Peter J. Stuckey, Maria Garcia De La Banda, Michael J. Maher, Kim Marriott, Zoltan Somogyi, Mark Wallace, Toby Walsh, John K. Slaney 

Publication date: 27 June 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11562931

Recommendations

• From High-Level Model to Branch-and-Price Solution in G12
• The design of the zinc modelling language
• Dantzig-Wolfe decomposition and branch-and-price solving in G12
• scientific article; zbMATH DE number 1114457
• Logic Based Program Synthesis and Transformation

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Combinatorial optimization (90C27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Cited In (9)

• MiniBrass: soft constraints for MiniZinc
• Constraint programming and operations research
• The design of the zinc modelling language
• Dantzig-Wolfe decomposition and branch-and-price solving in G12
• G12
• Cadmium: An Implementation of ACD Term Rewriting
• Demand-Driven Normalisation for ACD Term Rewriting
• Solving RCPSP/max by lazy clause generation
• From High-Level Model to Branch-and-Price Solution in G12

Uses Software

• Zinc

This page was built for publication: Logic Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5475765)