E-LIB Suche - Ergebnisse für: Junttila, Tommi

1

Formal Analysis of Lending Pools in Decentralized Finance:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science,

Bartoletti, Massimo ; Chiang, James ; Junttila, Tommi... - p. 335-355 , 2022

Link: https://doi.org/10.1007/..

2

An adaptive prefix-assignment technique for symmetry reduct..:

Junttila, Tommi ; Karppa, Matti ; Kaski, Petteri.
Journal of Symbolic Computation. 99 (2020) - p. 21-49 , 2020

Link: https://doi.org/10.1016/..

3

Exploiting step semantics for efficient bounded model check..:

Dubrovin, Jori ; Junttila, Tommi ; Heljanko, Keijo
Science of Computer Programming. 77 (2012) 10-11 - p. 1095-1121 , 2012

Link: https://doi.org/10.1016/..

4

Incorporating Clause Learning in Grid-Based Randomized SAT ..:

Hyvärinen, Antti E.J. ; Junttila, Tommi ; Niemelä, Ilkka.
Journal on Satisfiability, Boolean Modeling and Computation. 6 (2009) 4 - p. 223-244 , 2009

Link: https://doi.org/10.3233/..

5

Limitations of restricted branching in clause learning:

Järvisalo, Matti ; Junttila, Tommi
Constraints. 14 (2009) 3 - p. 325-356 , 2009

Link: https://doi.org/10.1007/..

6

Efficient theory combination via boolean search:

Bozzano, Marco ; Bruttomesso, Roberto ; Cimatti, Alessandro...
Information and Computation. 204 (2006) 10 - p. 1493-1525 , 2006

Link: https://doi.org/10.1016/..

7

Unrestricted vs restricted cut in a tableau method for Bool..:

Järvisalo, Matti ; Junttila, Tommi ; Niemelä, Ilkka
Annals of Mathematics and Artificial Intelligence. 44 (2005) 4 - p. 373-399 , 2005

Link: https://doi.org/10.1007/..

8

Simple Is Better: Efficient Bounded Model Checking for Past..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Latvala, Timo ; Biere, Armin ; Heljanko, Keijo. - p. 380-395 , 2005

Link: https://doi.org/10.1007/..

9

MathSAT: Tight Integration of SAT and Mathematical Decision..:

Bozzano, Marco ; Bruttomesso, Roberto ; Cimatti, Alessandro...
Journal of Automated Reasoning. 35 (2005) 1-3 - p. 265-293 , 2005

Link: https://doi.org/10.1007/..

10

Simple is better : efficient bounded model checking for ..:

, In: Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation,

Latvala, Timo ; Biere, Armin ; Heljanko, Keijo. - p. 380-395 , 2005

Link: https://dl.acm.org/doi/1..

11

Formal Analysis of Lending Pools in Decentralized Finance:

Bartoletti, Massimo ; Chiang, James ; Junttila, Tommi...
http://arxiv.org/abs/2206.01333. , 2022

Link: http://arxiv.org/abs/220..

12

Formal Analysis of Lending Pools in Decentralized Finance:

Bartoletti, Massimo ; Chiang, James ; Junttila, Tommi...
https://orbit.dtu.dk/en/publications/31dd2b7e-1d1d-48dd-a107-23e5da42dbdc. , 2022

Link: https://orbit.dtu.dk/en/..

13

An adaptive prefix-assignment technique for symmetry reduct..:

Junttila, Tommi ; Karppa, Matti ; Kaski, Petteri.
JOURNAL OF SYMBOLIC COMPUTATION. , 2020

Link: https://aaltodoc.aalto.f..

14

An adaptive prefix-assignment technique for symmetry reduct..:

Junttila, Tommi ; Karppa, Matti ; Kaski, Petteri.
http://arxiv.org/abs/1706.08325. , 2017

Link: http://arxiv.org/abs/170..

15

Classifying and Propagating Parity Constraints (extended ve..:

Laitinen, Tero ; Junttila, Tommi ; Niemelä, Ilkka
http://arxiv.org/abs/1406.4698. , 2014

Link: http://arxiv.org/abs/140..