A Function Elimination Method for Checking Satisfiability of Arithmetical Logics
Author:
Castiglioni Valentina,Lanotte Ruggero,Tini Simone
Subject
Computational Theory and Mathematics,Information Systems,Algebra and Number Theory,Theoretical Computer Science