Login / Signup

SAT-based group method for verification of logical descriptions with functional indeterminacy.

Liudmila D. CheremisinovaDmitry Ya. Novikov
Published in: EWDTS (2010)
Keyphrases