Automated Reasoning
From MaRDI portal
Publication:5307063
DOI10.1007/b98691zbMath1126.68565OpenAlexW4239036627MaRDI QIDQ5307063
Miki Hermann, Gernot Salzer, Angel J. Gil, Bruno Zanuttini
Publication date: 25 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98691
Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
A first polynomial non-clausal class in many-valued logic ⋮ Complexity of clausal constraints over chains ⋮ Approximability of clausal constraints ⋮ Introduction to the Maximum Solution Problem