Special issues on The satisfiability problem (pp. 1--244) including papers from the 1st workshop on satisfiability, Certosa di Pontignano, Italy, April 29--May 3, 1996 and Boolean functions (pp. 245--479)

DOI10.1016/S0166-218X(99)00038-4zbMath0935.00027OpenAlexW2037072284MaRDI QIDQ1961443

No author found.

Publication date: 25 April 2000

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0166-218x(99)00038-4

zbMATH Keywords

WorkshopSpecial issueBoolean functionsCertosa di Pontignano (Italy)Satisfiability problem

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to ordered structures (06-06)

Uses Software

• Leibniz

Cites Work

• On generalized Horn formulas and \(k\)-resolution
• Polynomially solvable satisfiability problems
• A hierarchy of tractable satisfiability problems
• The complexity of the falsifiability problem for pure implicational formulas
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Special issues on The satisfiability problem (pp. 1--244) including papers from the 1st workshop on satisfiability, Certosa di Pontignano, Italy, April 29--May 3, 1996 and Boolean functions (pp. 245--479)