Marijn Heule

1. SAT Competition 2020
   2021/08/04 by Nils Froleyks, Marijn J. H. Heule, Marijn Heule +5 · 11 citations
   Computer Science · #Constraint Satisfaction and Optimization #AI-based Problem Solving and Planning #Machine Learning and Algorithms