2,720 followers
@ShriramKMurthi @vardi @ksmeel @SMT_Solvers Similar sim-opt methods have been used (temporal logic) satisfiability degree measures to try to beat hypoth design parameters into submission (sys bio case below). "On a Continuous Degree of Satisfaction of Tem