( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors.

, , , , и . CAV, том 8559 из Lecture Notes in Computer Science, стр. 680-695. Springer, (2014)

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.

Milka Dejanowa

Alexander Jovanovic

Natasa Jovanovic

Boro Dejanovic

Borislav Dejanović

 

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

Solving Nonlinear Integer Arithmetic with MCSAT.. VMCAI, том 10145 из Lecture Notes in Computer Science, стр. 330-346. Springer, (2017)Verification of Fault-Tolerant Protocols with Sally., , и . NFM, том 10811 из Lecture Notes in Computer Science, стр. 113-120. Springer, (2018)Engaging citizen communities in smart cities using IoT, serious gaming and fast markerless Augmented Reality., , , , и . RIoT, стр. 1-6. IEEE, (2015)Solving Bitvectors with MCSAT: Explanations from Bits and Pieces., , и . IJCAR (1), том 12166 из Lecture Notes in Computer Science, стр. 103-121. Springer, (2020)Interpolation and Model Checking for Nonlinear Arithmetic., и . CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 266-288. Springer, (2021)Solving Non-linear Arithmetic., и . IJCAR, том 7364 из Lecture Notes in Computer Science, стр. 339-354. Springer, (2012)Sharing Is Caring: Combination of Theories., и . FroCoS, том 6989 из Lecture Notes in Computer Science, стр. 195-210. Springer, (2011)Model-Driven Decision Procedures for Arithmetic., и . SYNASC, стр. 11. IEEE Computer Society, (2013)Formal Specification and Verification of Solidity Contracts with Events (Short Paper)., , и . FMBC@CAV, том 84 из OASIcs, стр. 2:1-2:9. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Variable Neighborhood Search for the Probabilistic Satisfiability Problem., , и . Metaheuristics, том 39 из Operations Research/Computer Science Interfaces Series, Springer, (2007)