conftrace_

circuit satisfiability

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

embedding architecture (1) differentiable training (1) circuit minimization (1) neuro-symbolic method (1) circuit optimization (1) boolean circuit (1) circuit synthesis (1) representation learning (1) combinatorial optimization (1)

Papers

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis AAAI 2025 Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach ICLR 2019