Exploiting circuit duality to speed up sat... A trivial transformation of a (tautology, contradiction) check problem into a (contradiction, tautology) check problem is the inversion of all outputs in a logic circuit....
Robust stability check of fractional order linear time invariant systems with interval uncertaintiesFor uncertain fractional-order linear time invariant (FO-LTI) systems with interval coefficients described in state space form, the robust stability check problem is solved for the first time in this paper....
Non-identity check remains qma-complete for short circuitsThe Non-Identity Check problem asks whether a given a quantum circuit is far away from the identity or not....
The check problem of food thermal processes: a mathematical solution... Therefore it’s useful to verify the desired microbial destruction (check problem) and it was obtained by reversing the mathematical approach carried out in a previous work [23] for the design problem, namely to calculate the retort heating time...
