scientific article; zbMATH DE number 1414299
From MaRDI portal
Publication:4942636
zbMath0941.03510MaRDI QIDQ4942636
Pierre Siegel, Belaïd Benhamou, Lakhdar Saïs
Publication date: 16 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05) Complexity of proofs (03F20)
Related Items (4)
Propositional distances and compact preference representation ⋮ Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques ⋮ Some computational aspects of DISTANCE SAT ⋮ Dealing with satisfiability and \(n\)-ary CSPs in a logical framework
This page was built for publication:
