Publication:4708927
From MaRDI portal
zbMath1013.68192MaRDI QIDQ4708927
Publication date: 20 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2424/24240308.htm
68T27: Logic in artificial intelligence
03B35: Mechanization of proofs and logical operations
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
A framework for satisfiability modulo theories, Twenty years of rewriting logic, Strategies for combining decision procedures, The model evolution calculus as a first-order DPLL method
Uses Software