David Mojžíšek

1. Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
   2024/08/27 by Jan Hůla, Hůla, Jan, David Mojžíšek +3 · 1 citation
   Computer Science · #Formal Methods in Verification #Machine Learning and Data Classification #Machine Learning and Algorithms