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