7 results on '"Quer, Stefano"'
Search Results
2. Can BDDs compete with SAT solvers on bounded model checking?
3. A symbolic approach for the combined solution of scheduling and allocation
4. Optimizing sequential verification by retiming transformations
5. System-level power optimization of special purpose applications
6. Disjunctive partitioning and partial iterative squaring
7. Auxiliary variables for extending symbolic traversal techniques to data paths
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.