Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by T. Villa
Complexity of Two-Level Logic Minimization
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Related publications
Complexity Results for First-Order Two-Variable Logic With Counting
SIAM Journal on Computing
Mathematics
Computer Science
Proof Complexity of Propositional Default Logic
Archive for Mathematical Logic
Philosophy
Logic
Proof Complexity of Propositional Default Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Computational Complexity of Input/Output Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Empirical Risk Minimization: Probabilistic Complexity and Stepsize Strategy
Computational Optimization and Applications
Control
Computational Mathematics
Applied Mathematics
Optimization
The Computational Complexity of Distinctive Feature Minimization in Phonology
Complexity of Existential Positive First-Order Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
New Complexity Results for Łukasiewicz Logic
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
Trace Driven Logic Synthesis-Application to Power Minimization
