Satisfiability in MultiValued Circuits.
Pawel M. IdziakJacek KrzaczkowskiPublished in: SIAM J. Comput. (2022)
Keyphrases
- satisfiability problem
- computational complexity
- circuit design
- high speed
- np complete
- propositional logic
- phase transition
- multi valued
- logic synthesis
- digital circuits
- terminological reasoning
- delay insensitive
- decision procedures
- sat problem
- analog vlsi
- satisfiability testing
- analog circuits
- quantum computing
- quantified boolean formulas
- tunnel diode
- soft constraints
- stochastic local search
- cnf formula
- boolean formula
- constraint satisfaction
- first order logic
- neural network