scientific article; zbMATH DE number 2077139

zbMATH Open1044.68766MaRDI QIDQ4470524FDOQ4470524

Authors: V. Vinay, John N. Hooker 

Publication date: 1 July 2004

Title of this publication is not available (Why is that?)

zbMATH Keywords

propositional satisfiability

Mathematics Subject Classification ID

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

Cited In (2)

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

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4470524)