Mycielski graphs and PR proofs
From MaRDI portal
Publication:2661347
DOI10.1007/978-3-030-51825-7_15MaRDI QIDQ2661347
Marijn J. H. Heule, Xin-Yu Wu, Emre Yolcu
Publication date: 7 April 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-51825-7_15
68Q25: Analysis of algorithms and problem complexity
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68R07: Computational aspects of satisfiability
Uses Software