Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stefan Disch
Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets
Related publications
Asynchronous Multi-Core Incremental SAT Solving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Solving the SAT Problem Using Genetic Algorithm
Advances in Science, Technology and Engineering Systems
Engineering
Astronomy
Physics
Management of Technology
Innovation
Set-Based SAT-solving
Facta universitatis - series: Electronics and Energetics
Client-Specific Equivalence Checking
Equivalence Checking of Arithmetic Expressions Using Fast Evaluation
Efficient Verified (UN)SAT Certificate Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient SAT Solving: Beyond Supercubes
Functional Fault Equivalence and Diagnostic Test Generation in Combinational Logic Circuits Using Conventional ATPG
Journal of Electronic Testing: Theory and Applications (JETTA)
Electronic Engineering
Electrical
High-Level vs. RTL Combinational Equivalence: An Introduction
2006 International Conference on Computer Design
