P. Bjesse
AuthID: R-006-J10
1
TITLE: Tutorial 2: Boolean satisfiability solving and its application in equivalence and model checking
AUTHORS: Marques Silva, J ; Bjesse, P; Kunz, W;
PUBLISHED: 2001, SOURCE: International Conference on Computer-Aided Design 2001 in IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers
AUTHORS: Marques Silva, J ; Bjesse, P; Kunz, W;
PUBLISHED: 2001, SOURCE: International Conference on Computer-Aided Design 2001 in IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers
INDEXED IN: 
Scopus
Scopus