( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic.

, , , , и . CADE, том 5663 из Lecture Notes in Computer Science, стр. 294-305. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ignacio Rubio

Felipe Rubio

Jordi Rubió i Coromina Universitat de Barcelona

Mónica Rubiolo González

Miguel Rubio

 

Другие публикации лиц с тем же именем

Orderings and Constraints: Theory and Practice of Proving Termination., и . Rewriting, Computation and Proof, том 4600 из Lecture Notes in Computer Science, стр. 28-43. Springer, (2007)A Fully Syntactic AC-RPO.. RTA, том 1631 из Lecture Notes in Computer Science, стр. 133-147. Springer, (1999)A Precedence-Based Total AC-Compatible Ordering., и . RTA, том 690 из Lecture Notes in Computer Science, стр. 374-388. Springer, (1993)Inferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version)., , , , и . CoRR, (2023)Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic Orderings., , , и . J. Autom. Reason., 30 (1): 99-120 (2003)AC-Superposition with Constraints: No AC-Unifiers Needed., и . CADE, том 814 из Lecture Notes in Computer Science, стр. 545-559. Springer, (1994)Basic Superposition is Complete., и . ESOP, том 582 из Lecture Notes in Computer Science, стр. 371-389. Springer, (1992)Synthesis of Super-Optimized Smart Contracts Using Max-SMT., , , и . CAV (1), том 12224 из Lecture Notes in Computer Science, стр. 177-200. Springer, (2020)Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis., , , и . VECoS, том 11847 из Lecture Notes in Computer Science, стр. 63-78. Springer, (2019)Lower-Bound Synthesis Using Loop Specialization and Max-SMT., , , , и . CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 863-886. Springer, (2021)