Logic Programming
From MaRDI portal
Publication:5475765
DOI10.1007/11562931zbMath1165.68517MaRDI QIDQ5475765
Mark G. Wallace, Michael J. Maher, Zoltan Somogyi, Toby Walsh, Maria Garcia de la Banda, Peter J. Stuckey, Kim Marriott, 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
90C27: Combinatorial optimization
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Demand-Driven Normalisation for ACD Term Rewriting, From High-Level Model to Branch-and-Price Solution in G12, Cadmium: An Implementation of ACD Term Rewriting, G12, The design of the zinc modelling language, Constraint programming and operations research, MiniBrass: soft constraints for MiniZinc, Dantzig-Wolfe decomposition and branch-and-price solving in G12, Solving RCPSP/max by lazy clause generation
Uses Software