scientific article; zbMATH DE number 2077139

zbMath1044.68766MaRDI QIDQ4470524

V. Vinay, John N. Hooker

Publication date: 1 July 2004

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

zbMATH Keywords

propositional satisfiability

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Max Horn SAT and the minimum cut problem in directed hypergraphs, Hard random 3-SAT problems and the Davis-Putnam procedure