Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers.
Tom PehamNina BrandlRichard KuengRobert WilleLukas BurgholzerPublished in: CoRR (2023)
Keyphrases
- sat solvers
- orders of magnitude
- max sat
- boolean satisfiability
- sat solving
- search strategies
- sat problem
- propositional satisfiability
- search space
- search tree
- constraint satisfaction
- weighted max sat
- clause learning
- optimal solution
- sat instances
- dynamic programming
- logic synthesis
- data structure
- reinforcement learning