Keyword:Triangular Sets

Publications
SMT Solving over Finite Field Arithmetic Thomas Hader, Daniela Kaufmann and Laura Kovacs In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Bit-size reduction of triangular sets in two and three variables Tetsuro Yamashita and Xavier Dahan In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science