//-->
Rigorous filtering using linear relaxations
Domes, Ferenc, (2012)
A scaling algorithm for polynomial constraint satisfaction problems
Domes, Ferenc, (2008)
Towards a self-reflective, context-aware semantic representation of mathematical specifications
Schodl, Peter, (2012)