Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Daniel Tille

A fast untestability proof for SAT-based ATPG

Experimental Studies on SAT-Based ATPG for Gate Delay Faults

Improving CNF representations in SAT-based ATPG for industrial circuits using BDDs

Incremental SAT Instance Generation for SAT-based ATPG

scholarly article published April 2008

Incremental Solving Techniques for SAT-based ATPG

Instance Generation for SAT-based ATPG

scholarly article published 2007

Speeding up SAT-Based ATPG Using Dynamic Clause Activation

Structural heuristics for SAT-based ATPG

Test Pattern Generation using Boolean Proof Engines

Paulina is supported by:

About Paulina

Help