scientific article; zbMATH DE number 1931668

zbMath1014.68528MaRDI QIDQ4708926

Armando Tacchella, Enrico Giunchiglia, Marco Maratea

Publication date: 20 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2424/24240296.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Classical propositional logic (03B05)

Related Items

On propositional definability, Abstract Solvers for Computing Cautious Consequences of ASP programs, Limitations of Restricted Branching in Clause Learning, Limitations of restricted branching in clause learning, Backdoors to tractable answer set programming

Uses Software

• NuSMV