Stefano Cavagnetto is an author at University of Kragujevac specializing in formal methods, automated reasoning, and engineering.
Top concepts
BusinessComplexityManagementEngineeringHospitalityProductivityFormal MethodsHotel IndustryComputer ScienceFirm Performance
Publications per year
2008–2023
2
2
Propositional Proof Complexity and Rewriting
Stefano Cavagnetto · 2008 · 27 citations
Rows per page
1–2 of 2