cnf2aig

MaRDI QIDQ55819swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-24318-4_19

Source code repository https://github.com/Udopia/clauses/blob/master/cnf2aig.cc

Described by source

• Recognition of Nested Gates in CNF Formulas

Cited in

(4)

• Local redundancy in SAT: generalizations of blocked clauses
• abcdSAT
• Super-blocked clauses
• SAT race 2015

This page was built for software: cnf2aig