Filters
  • Collections
  • Group objects
  • File type

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

Items per page:
AMCS, volume 17 (2007)

Gosti, Wilsin Villa, Tiziano Saldanha, Alex Sangiovanni-Vincentelli, Alberto L. Korbicz, Józef (1951- ) - red.

2007
artykuł
AMCS, volume 36 (2026)

Pułka, Andrzej Antolak, Ernest Truś, Bartłomiej Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2026
artykuł

This page uses 'cookies'. More information