scientific article; zbMATH DE number 1348469

zbMath0925.03077MaRDI QIDQ4264722

Belaïd Benhamou, Lakhdar Saïs

Publication date: 10 October 1999

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05)

Related Items

Symmetry definitions for constraint satisfaction problems, Predicting and detecting symmetries in FOL finite model search, Local and global symmetry breaking in itemset mining, Simplifying clausal satisfiability problems, Symmetric blocking, Local Symmetry Breaking During Search in CSPs, Recognition of tractable satisfiability problems through balanced polynomial representations, The crisis in finite mathematics: Automated reasoning as cause and cure