Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Morgantini, F.
Claudia Calabrese
U. Krautz
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
Arnold M. Schwartz
Radu Timofte
Kuanrui Yin
Home
/
Author
/
KURT SHULTZ
Author Info
Open Visualization
Name
Papers
Collaborators
KURT SHULTZ
3
14
Citations
PageRank
Referers
14
2.18
36
Referees
References
137
33
Search Limit
100
137
Publications (3 rows)
Collaborators (14 rows)
Referers (36 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
A Method for Synthesizing Boolean Constrains
0
0.34
2002
Automatic Vector Generation Using Constraints and Biasing
2
0.62
2000
Commercial Design Verification: Methodology and Tools
12
1.22
1996
1