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: 2
AMCS, volume 17 (2007)
Gosti, Wilsin Villa, Tiziano Saldanha, Alex Sangiovanni-Vincentelli, Alberto L. Korbicz, Józef - red.
2007
artykuł
AMCS, Volume 24 (2014)
Klimek, Radosław Korbicz, Józef - red. Uciński, Dariusz - red.
2014
artykuł
