SAT-solving based on boundary point elimination

DOI10.1007/978-3-642-19583-9_12MaRDI QIDQ5391525zbMATH OpenOpenAlexFDO

Authors Eugene Goldberg, Panagiotis Manolios

Publication date 6 April 2011

Published in Hardware and Software: Verification and Testing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-19583-9_12

Mathematics Subject Classification ID

Recommendations

• Boundary Points and Resolution
• scientific article; zbMATH DE number 5542984
• On tackling the limits of resolution in SAT solving
• Blocked clause elimination
• scientific article; zbMATH DE number 956858

Cited in

(2)

• Boundary Points and Resolution
• Quantifier elimination by dependency sequents

Describes a project that uses

Uses Software

• PicoSAT
• Quaffle

This page was built for publication: SAT-solving based on boundary point elimination

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5391525)