Boolean Rings for Intersection-Based Satisfiability

DOI10.1007/11916277_33zbMath1165.03312OpenAlexW1579000555MaRDI QIDQ5387914

Guan-Shieng Huang, Nachum Dershowitz, Jieh Hsiang, Daher Kaiss

Publication date: 27 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11916277_33

Mathematics Subject Classification ID

Computational learning theory (68Q32) Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05) Logical aspects of Boolean algebras (03G05)

Related Items (1)

Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases

This page was built for publication: Boolean Rings for Intersection-Based Satisfiability