Logic for Programming, Artificial Intelligence, and Reasoning

DOI10.1007/b106931zbMath1108.68576OpenAlexW4206255911MaRDI QIDQ5705929

Marco Cadoli, Lucas Bordeaux, Toni Mancini

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106931

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (3)

Solving quantified constraint satisfaction problems ⋮ Efficient handling of universally quantified inequalities ⋮ Non-binary quantified CSP: Algorithms and modelling

This page was built for publication: Logic for Programming, Artificial Intelligence, and Reasoning