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]