|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yanyan Xu, Wei Chen 0018, Kaile Su, Wenhui Zhang |
Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition.  |
FAW-AAIM  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Chen 0018, Wenhui Zhang |
A direct construction of polynomial-size OBDD proof of pigeon hole problem. |
Inf. Process. Lett. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Xu, Wei Chen 0018, Yanyan Xu, Wenhui Zhang |
Improved Bounded Model Checking for the Universal Fragment of CTL. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
model checking algorithm, ACTL, SAT, software verification, bounded model checking |
| 1 | Wei Chen 0018, Wenhui Zhang |
Bounded Model Checking of ACTL Formulae. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanyan Xu, Wei Chen 0018, Liang Xu, Wenhui Zhang |
Evaluation of SAT-based Bounded Model Checking of ACTL Properties. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")