Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gérald Point
TaPAS: The Talence Presburger Arithmetic Suite
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Complexity of Subcases of Presburger Arithmetic
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Complexity of Presburger Arithmetic With Fixed Quantifier Dimension
Theory of Computing Systems
Computational Theory
Theoretical Computer Science
Mathematics
Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Sensor Suite: The Albuquerque Seismological Laboratory Instrumentation Testing Suite
Seismological Research Letters
Geophysics
Counting the Solutions of Presburger Equations Without Enumerating Them
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
TAPAS: Train-Less Accuracy Predictor for Architecture Search
Proceedings of the AAAI Conference on Artificial Intelligence
The Succinct Solver Suite
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Aptitude-Suite
International Journal for Research in Applied Science and Engineering Technology
A Two Year Case Study: Technology Assisted Project Supervision (TAPaS)
Engineering Education
