Repozytorium Uniwersytetu Zielonogórskiego udostępnia 9 465 obiektów cyfrowych
Szukana fraza: [Temat i słowa kluczowe = SAT solving] lub [Temat i słowa kluczowe = formal verification] lub [Temat i słowa kluczowe = CNF] lub [Temat i słowa kluczowe = Boolean satisfiability] lub [Tytuł = Selection of search strategies for solving 3\-SAT problems] lub [Autor = Pułka, Andrzej]
Wyników: 3
AMCS, volume 17 (2007)
Gosti, Wilsin Villa, Tiziano Saldanha, Alex Sangiovanni-Vincentelli, Alberto L. Korbicz, Józef (1951- ) - red.
2007
artykuł
AMCS, Volume 24 (2014)
Klimek, Radosław Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
2014
artykuł
AMCS, volume 36 (2026)
Pułka, Andrzej Antolak, Ernest Truś, Bartłomiej Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
2026
artykuł
