A decomposition-based implementation of search strategies
From MaRDI portal
Publication:5277701
DOI10.1145/976706.976714zbMath1367.68267OpenAlexW2084964364MaRDI QIDQ5277701
Pascal Van Hentenryck, Laurent Michel
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/976706.976714
Combinatorial optimization (90C27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (2)
A unified framework for partial and hybrid search methods in constraint programming ⋮ Control abstractions for local search
Uses Software
This page was built for publication: A decomposition-based implementation of search strategies