2007/01/01 by Markus Holzer, Oliver Ruepp · 2 citations
Computer Science · Mathematics · #Algorithm #Artificial Intelligence in Games #Boolean function #Boolean satisfiability problem #Complexity and Algorithms in Graphs #Computability, Logic, AI Algorithms #Computational complexity theory #Computer science #Discrete mathematics #Mathematics #Pencil (optics) #Satisfiability #Theoretical computer science #Time complexity
paper · doi:10.1007/978-3-540-72914-3_18
crossref issued 2007/01/01 · crossref published 2007/01/01 · crossref published-print 2007/01/01 · openalex publication_date 2007/01/01 · crossref created 2007/06/26 · crossref deposited 2019/05/19 · crossref indexed 2024/09/04 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/04