Certainty closure

DOI10.1145/1459010.1459013zbMath1367.68272OpenAlexW2118328349MaRDI QIDQ5277821

Carmen Gervet, Neil Yorke-Smith

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/1459010.1459013

zbMATH Keywords

closureincomplete and erroneous datareliable solutionsuncertain constraint satisfaction problem

Mathematics Subject Classification ID

Approximation methods and heuristics in mathematical programming (90C59) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (3)

Tractability in constraint satisfaction problems: a survey ⋮ Stochastic constraint programming: A scenario-based approach ⋮ Maximum feasibility estimation

This page was built for publication: Certainty closure