Digital Library of Zielona Góra contains 9 465 digital objects
Search for: [Subject and Keywords = SAT solving] OR [Subject and Keywords = formal verification] OR [Subject and Keywords = CNF] OR [Subject and Keywords = Boolean satisfiability] OR [Title = Selection of search strategies for solving 3\-SAT problems] OR [Creator = Pułka, Andrzej]
Number of results: 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ł
