Similar Items: Complexity classifications for different equivalence and audit problems for Boolean circuits
- Boolean proportions
- Quantifying over Boolean announcements
- On the Complexity of Equivalence and Minimisation for Q-weighted Automata
- Shaft Voltage Mechanism of AFPM Motors: Novel Parasitic Capacitance Derivation and Equivalent Circuit Modeling
- Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability
- Comparison of equivalent circuit and machine learning methods for CubeSat battery discharge modeling