Exploiting partial variable assignment in interpolation-based model checking., Jančík, Pavel, Kofron Jan, Alt Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , Formal Methods in System Design, (2019)

• Google Scholar
• BibTeX

On Interpolants and Variable Assignments, Jancik, P., Kofronˇ J., Rollini S.F., and Sharygina Natasha , Formal Methods in Computer-Aided Design (FMCAD), Lausanne, Switzerland, (2014)

• Google Scholar
• BibTeX

PVAIR: Partial Variable Assignment InterpolatoR, Jančík, Pavel, Alt Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., Kofron Jan, and Sharygina Natasha , FASE2016, (2016)

• Google Scholar
• BibTeX