Publications

Export 2 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Title is P and Author is Rollini, S.F.  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
P
A Parametric Interpolation Framework for First-Order Theories, Kovacs, L., Rollini S.F., and Sharygina Natasha , 12th Mexican International Conference on Artificial Intelligence (MICAI), (2013)
PeRIPLO: A Framework for Producing Efficient Interpolants for SAT-based Software Verification, Rollini, S.F., Alt Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , Logic for Programming Artificial Intelligence and Reasoning (LPAR), Stellenbosch, South Africa, (2013)