Mati Tombak
Mati Tombak
Professor Emeritus, Tartu University
Verified email at ut.ee
Title
Cited by
Cited by
Year
Structurally synthesized binary decision diagrams
A Jutman, A Peder, J Raik, M Tombak, R Ubar
6th International Workshop on Boolean Problems, 271-278, 2004
252004
On logical method for counting Dedekind numbers
M Tombak, A Isotamm, T Tamme
International Symposium on Fundamentals of Computation Theory, 424-427, 2001
222001
Synthesis of high-level decision diagrams for functional test pattern generation
R Ubar, J Raik, A Karputkin, M Tombak
2009 MIXDES-16th International Conference Mixed Design of Integrated …, 2009
152009
Canonical representations of high-level decision diagrams.
A Karputkin, R Ubar, J Raik, M Tombak
Estonian Journal of Engineering 16 (1), 2010
132010
Optimization of structurally synthesized BDDs
R Ubar, T Vassiljeva, J Raik, A Jutman, M Tombak, A Peder, J Liivi
Proc. 4th IASTED International Conference on Modelling, Simulation and …, 2004
82004
Superpositional graphs
A Peder, M Tombak
Acta et Commentationes Universitatis Tartuensis de Mathematica 13, 51-64, 2009
52009
A compact look-up table structure for low-level binary image processing
IPW Sillitoe, M Tombak
Real-Time Imaging 4 (3), 203-210, 1998
51998
On the superposition of boolean functions
M Tombak, I Sillitoe
Annales Universitatis Scientarum Budapestinensis de Rolando Etvs nominatae …, 1998
41998
A Forth-Oriented Compiler Compiler and its Applications
M Tombak, V Soo, J Pöial
Forth Dimensions 16, 21-21, 1995
41995
Probabilistic equivalence checking based on high-level decision diagrams
A Karputkin, R Ubar, M Tombak, J Raik
14th IEEE International Symposium on Design and Diagnostics of Electronic …, 2011
32011
Linear algorithms for recognizing and parsing superpositional graphs
A Peder, H Nestra, J Raik, M Tombak, R Ubar
Facta universitatis-series: Electronics and Energetics 24 (3), 325-339, 2011
32011
Automated correction of design errors by edge redirection on high-level decision diagrams
A Karputkin, R Ubar, M Tombak, J Raik
Thirteenth International Symposium on Quality Electronic Design (ISQED), 686-693, 2012
22012
Permutations and Bijections
L Vohandu, A Peder, M Tombak
Information Modelling and Knowledge Bases XXIII, 419-437, 2012
12012
Interactive presentation abstract: Automated correction of design errors by edge redirection on high-level decision diagrams
A Karputkin, R Ubar, M Tombak, J Raik
2011 IEEE International High Level Design Validation and Test Workshop, 83-83, 2011
2011
Finding the description of structure by counting method: a case study
A Peder, M Tombak
International Conference on Current Trends in Theory and Practice of …, 2011
2011
General Principles of Informatics Curricula: Proceedings of the Workshop Tempus JEP-06145: Tartu, Estonia, January 21, 1995
M Tombak
University of Tartu, 1995
1995
ONE MORE EXPONENTIAL ALGORITHM FOR ESTABLISHING SATISFIABILITY OF PROPOSITIONAL FORMULA
M Tombak
Symposium on Programming Languages and Software Tools, 142, 1993
1993
Programming Languages and Software Tools: 3rd Symposium
M Tombak
University of Tartu, 1993
1993
Proceedings of the Third Symposium on Programming Languages and Software Tools: Kننriku, Estonia, August 23-24, 1993
M Tombak
University of Tartu, Department of Computer Science, 1993
1993
Annales Univ. Sci. Budapest, Sect. Comp. 17 (1998) 381-389
M Tombak, I Sillitoe
The system can't perform the operation now. Try again later.
Articles 1–20