Výsledky vyhledávání - "P. E. Camurati"

Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking

Autor: G. Cabodi, P. E. Camurati, M. Palena, P. Pasini

Publikováno v: Formal Methods in System Design. 60:117-146

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::50920dd0eb782a05483b470f6899a889
https://doi.org/10.1007/s10703-022-00406-7

Zobrazit plný text záznamu

Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening

Autor: G. Cabodi, P. E. Camurati, M. Palena, P. Pasini, D. Vendraminetto

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6332284096314c3ae7ae242b548aa3c5
http://hdl.handle.net/11583/2654916

Zobrazit plný text záznamu