6 citations · 8 across the 2 of their papers we have counts for
1 paper · 1 filter
Neuhaus Thomas
Using powerful Multicanonical Ensemble Monte Carlo methods from statistical physics we explore the realization space of random K satisfiability (KSAT) in search for computational h…