scientific article

From MaRDI portal

Publication:4014810

Jump to:navigation, search

zbMath0794.68067MaRDI QIDQ4014810

Pascal André, Olivier Dubois

Publication date: 7 December 1992

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

zbMATH Keywords

Boolean functions satisfiability problem SAT instance method of successive separations

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Complexity of computation (including implicit computational complexity) (03D15)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4014810&oldid=17715704"