Keyword:circuit equivalences

Publications
Challenging Benchmarks for Diagrammatic Equivalence of Circuits in TPTP and SMT-LIB Julie Cailler, Noé Delorme and Sophie Tourret In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning