Mycielski graphs and PR proofs

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

Mathematics Subject Classification ID

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

• Plingeling
• OEIS
• Treengeling
• Lingeling
• YalSAT
• CaDiCaL