Heule, Marijn
- The Resolution of Keller's Conjecture
2019/10/09 by Joshua Brakensiek, Marijn Heule, Brakensiek, Joshua +5 · 1 voice · 3 citations
Computer Science · Mathematics · #Combinatorics (math.CO) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Metric Geometry (math.MG) #cs.DM #cs.LO #math.CO #math.MG
- Tighter Bounds on Directed Ramsey Number R(7)
2020/11/02 by Neiman, David, Mackey, John, Heule, Marijn · 1 citation
#Combinatorics (math.CO) #FOS: Mathematics
- Computing properties of stable configurations of thermodynamic binding\n networks
2017/09/25 by Keenan Breik, Breik, Keenan, Chris Thachuk +5 · 1 citation
Biochemistry, Genetics and Molecular Biology · Engineering · #Advanced biosensing and bioanalysis techniques #Emerging Technologies (cs.ET) #FOS: Computer and information sciences #Gene Regulatory Network Analysis #Molecular Junctions and Nanostructures
- An Impossible Asylum
2021/12/03 by Jeremy Avigad, Avigad, Jeremy, Seulkee Baek +7 · 1 voice
Computer Science · Mathematics · #03-01 (Primary) #03B35 #68V15 (Secondary) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #cs.LO #math.LO
- On the Edge of Core (Non-)Emptiness: An Automated Reasoning Approach to Approval-Based Multi-Winner Voting
2025/12/18 by Ratip Emin Berker, Emanuel Tewolde, Berker, Ratip Emin +10 · 2 voices · 1 citation
Computer Science · Economics, Econometrics and Finance · Social Sciences · #Electoral Systems and Political Participation #Game Theory and Voting Systems #Mobile Crowdsensing and Crowdsourcing #cs.GT