Generalizing consistency and other constraint properties to quantified constraints
From MaRDI portal
Publication:2946575
DOI10.1145/1507244.1507247zbMath1351.68252arXiv0705.3561OpenAlexW2022485444MaRDI QIDQ2946575
Toni Mancini, Lucas Bordeaux, Marco Cadoli
Publication date: 17 September 2015
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0705.3561
Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
