Keyword:Triangular Sets

Papers
SMT Solving over Finite Field Arithmetic Thomas Hader, Daniela Ritirc and Laura Kovács 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