The impact of heterogeneity and geometry on the proof complexity of random satisfiability

From MaRDI portal
Publication:6063345

DOI10.1002/rsa.21168arXiv2004.07319OpenAlexW3117273226MaRDI QIDQ6063345

Thomas Bläsius, Ralf Rothenberger, Tobias Friedrich, Andreas Göbel, Jordi Levy

Publication date: 7 November 2023

Published in: Random Structures & Algorithms (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2004.07319





Cites Work