Everything You Always Wanted to Know About Blocked Sets (But Were Afraid to Ask)
Authors:
Downloads:
Related Software (necessary for the experiments):
- The Lingeling Sat Solver [webpage]
- The Aiger library and set of utilities for And-Inverter Graphs (AIGs) [webpage]
- ABC - A System for Sequential Synthesis and Verification [webpage]
Related Papers:
- M. Heule, A. Biere. Blocked Clause Decomposition. In Proc. 19th Intl. Conf. on Logic for Programming, Artificial Intelligence and Reasoning, Lecture Notes in Computer Science (LNCS) vol. 8312, pages 423 - 438, Springer 2013.