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: 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ł
