An Operator for Removal of Subsumed Clauses

DOI10.1007/978-3-540-89985-3_87zbMath1188.68271OpenAlexW1480310558MaRDI QIDQ3628566

Mohammad Ghasemzadeh, Christoph Meinel

Publication date: 20 May 2009

Published in: Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-89985-3_87

zbMATH Keywords

formal verificationsatisfiabilityquantified Boolean formulazero-suppressed binary decision diagramsubsumed clauses

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• CUDD

Cites Work

• Unnamed Item
• Graph-Based Algorithms for Boolean Function Manipulation

This page was built for publication: An Operator for Removal of Subsumed Clauses