Keyword:symbolic computation

Publications
Algebra-based Synthesis of Loops and their Invariants Andreas Humenberger and Laura Kovács EasyChair Preprint 4946
The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices Curtis Bright, Dragomir Ž Djoković, Ilias Kotsireas and Vijay Ganesh EasyChair Preprint 825
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger and Alexander Svozil In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
SC-square: when Satisfiability Checking and Symbolic Computation join forces Erika Abraham, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening and Werner M. Seiler In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Determining automatically compass and straightedge unconstructibility in triangles Pascal Mathis and Pascal Schreck In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science