Wikidata

(Q62041449)

English

Symbolic model checking using SAT procedures instead of BDDs

scientific article published in 1999

In more languages
default for all languages
No label defined

No description defined

Statements

title
Symbolic model checking using SAT procedures instead of BDDs (English)
0 references
author name string
A. Biere
series ordinal
1
0 references
E. M. Clarke
series ordinal
3
0 references
M. Fujita
series ordinal
4
0 references
Y. Zhu
series ordinal
5
0 references
publication date
1999
0 references

Identifiers

DOI
10.1145/309847.309942
0 references
 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    Retrieved from "https://www.wikidata.org/w/index.php?title=Q62041449&oldid=1352189939"