Some Results on Random Mixed SAT Problems

arXiv2311.02644MaRDI QIDQ6458096

Andreas Basse-O'Connor, Tobias Lindhardt Overgaard, Mette Skjøtt

Publication date: 5 November 2023

Mathematics Subject Classification ID

Interacting random processes; statistical mechanics type models; percolation theory (60K35) Disordered systems (random Ising models, random Schrödinger operators, etc.) in equilibrium statistical mechanics (82B44) Discrete mathematics in relation to computer science (68R99)

This page was built for publication: Some Results on Random Mixed SAT Problems