conftrace_

circuit minimization

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

boolean circuit (2) exact synthesis (1) gate optimization (1) circuit satisfiability (1) circuit optimization (1) circuit synthesis (1) quantified boolean formula (1) combinatorial optimization (1)

Papers

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis AAAI 2025 Circuit Minimization with QBF-Based Exact Synthesis AAAI 2023