High Quality Circuit-Based 3-SAT Mappings for Oscillator Ising Machines.
Venkata Pavan Sumanth SikhakolluShreesha SreedharaRajit ManoharAlan MishchenkoJaijeet RoychowdhuryPublished in: UCNC (2024)
Keyphrases
- high quality
- phase transition
- high speed
- circuit design
- sat solving
- higher quality
- sat problem
- satisfiability problem
- low quality
- image quality
- electronic circuits
- boolean satisfiability
- analog circuits
- variable ordering
- max sat
- np complete
- propositional satisfiability
- logic circuits
- sat encodings
- stochastic local search algorithms
- analog vlsi