Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Pułka, Andrzej"'
Autor:
Antolak, Ernest, Pułka, Andrzej
Publikováno v:
Electronics (2079-9292); Dec2024, Vol. 13 Issue 23, p4701, 22p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In IFAC PapersOnLine 2015 48(4):348-353
Autor:
Pułka Andrzej
Publikováno v:
International Journal of Applied Mathematics and Computer Science, Vol 24, Iss 2, Pp 283-297 (2014)
The paper concerns the problem of Boolean satisfiability checking, which is recognized as one of the most important issues in the field of modern digital electronic system verification and design. The paper analyzes different strategies and scenar
Externí odkaz:
https://doaj.org/article/51f94c99c0a44af9b5de9139c599f681
Publikováno v:
In IFAC Proceedings Volumes 2012 45(7):305-310
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.