203 citations · 391 across the 22 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.LO2017★ 4 cited
Schur Number Five
Marijn J. H. Heule
We present the solution of a century-old problem known as Schur Number Five: What is the largest (natural) number such that there exists a five-coloring of the positive numbers…
cs.ET2017
Computing properties of stable configurations of thermodynamic binding networks
Keenan Breik, Chris Thachuk, Marijn Heule +1
The promise of chemical computation lies in controlling systems incompatible with traditional electronic micro-controllers, with applications in synthetic biology and nano-scale ma…
cs.CR2017★ 1 cited
Static Detection of DoS Vulnerabilities in Programs that use Regular Expressions (Extended Version)
Valentin Wüstholz, Oswaldo Olivo, Marijn J. H. Heule +1
In an algorithmic complexity attack, a malicious party takes advantage of the worst-case behavior of an algorithm to cause denial-of-service. A prominent algorithmic complexity att…