Luz Amanda Garcia
Affiliations:- Polytechnic University of Turin, Italy
According to our database1,
Luz Amanda Garcia
authored at least 5 papers
between 2008 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
2010
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010
2009
Speeding up model checking by exploiting explicit and hidden verification constraints.
Proceedings of the Design, Automation and Test in Europe, 2009
2008
J. Satisf. Boolean Model. Comput., 2008
Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking.
Proceedings of the Formal Methods in Computer-Aided Design, 2008