Satisfiability of Circuits and Equations over Finite Malcev Algebras.
Pawel M. IdziakPiotr KawalekJacek KrzaczkowskiPublished in: STACS (2022)
Keyphrases
- satisfiability problem
- finite number
- high speed
- maximal tractable
- numerical solution
- np complete
- differential equations
- mathematical model
- linear equations
- computational complexity
- spatial reasoning
- circuit design
- decision procedures
- analog vlsi
- delay insensitive
- asynchronous circuits
- digital circuits
- quantified boolean formulas
- linear systems
- propositional logic
- phase transition
- satisfiability testing
- logic synthesis
- stochastic local search
- temporal reasoning
- dynamical systems