Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning
Theoretical Computer Science
An abstract domain extending difference-bound matrices with disequality constraints
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Hi-index | 0.00 |