no code implementations • ICML 2020 • Haonan Duan, Saeed Nejati, George Trimponias, Pascal Poupart, Vijay Ganesh
Our solvers out-perform the baselines by solving 12 more instances from the SAT competition 2018 application benchmark and are %40 faster on average in solving hard cryptographic instances.