SAT-Solving Based on Boundary Point Elimination

DOI10.1007/978-3-642-19583-9_12zbMath1325.68213OpenAlexW1715905317MaRDI QIDQ5391525

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

Related Items (1)

Quantifier elimination by dependency sequents

Uses Software

• PicoSAT
• Quaffle

This page was built for publication: SAT-Solving Based on Boundary Point Elimination