scientific article
From MaRDI portal
Publication:3396552
zbMath1169.68444MaRDI QIDQ3396552
Publication date: 19 September 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
Algorithms for Solving Satisfiability Problems with Qualitative Preferences, Planning as satisfiability: heuristics, SAT Modulo Graphs: Acyclicity, Solving satisfiability problems with preferences, LCF-Style Propositional Simplification with BDDs and SAT Solvers, Conflict-driven answer set solving: from theory to practice, An abstract view on optimizations in SAT and ASP, Data compression for proof replay
Uses Software