ℹ️
🇬🇧
Search
Search for publications relevant for "Variable assignment"
Variable assignment
Publication
Class
Person
Publication
Programmes
publication
On Interpolants and Variable Assignments
2014 |
Faculty of Mathematics and Physics
publication
PVAIR: Partial Variable Assignment InterpolatoR
2016 |
Faculty of Mathematics and Physics
publication
Exploiting partial variable assignment in interpolation-based model checking
2019 |
Faculty of Mathematics and Physics
