Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marco Benedetti
Robust QBF Encodings for Sequential Circuits With Applications to Verification, Debug, and Test
IEEE Transactions on Computers
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Software
Parametric RBAC Maintenance via Max-Sat
Related publications
Robust Flip-Flop Against Soft Errors for Combinational and Sequential Logic Circuits
On Static Compaction of Test Sequences for Synchronous Sequential Circuits
Efficient Static Compaction Techniques for Sequential Circuits Based on Reverse-Order Restoration and Test Relaxation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Adversarial Regularization for End-To-End Robust Speaker Verification
Dependency Learning for QBF
Journal of Artificial Intelligence Research
Artificial Intelligence
QCA Circuits for Robust Coplanar Crossing
Frontiers in Electronic Testing
Power Estimation Methods for Sequential Logic Circuits
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Hardware
Electronic Engineering
Electrical
Architecture
Software
A Sequential Circuits Test Set Generation Method Based on Ant Colony Particle Swarmalgorithm
Automatic Verification of Timed Circuits
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
