Restart Strategy Selection using Machine Learning Techniques

29 July 2009

Papers citing "Restart Strategy Selection using Machine Learning Techniques"

18 / 18 papers shown

Title
Unveiling the Limits of Learned Local Search Heuristics: Are You the Mightiest of the Meek? Ankur Nath Alan Kuhnle 49 0 0 30 Oct 2023
Constrained Machine Learning: The Bagel Framework Guillaume Perez Sebastian Ament Carla P. Gomes Arnaud Lallouet 18 1 0 02 Dec 2021
Generalization of Neural Combinatorial Solvers Through the Lens of Adversarial Robustness Simon Geisler Johanna Sommer Jan Schuchardt Aleksandar Bojchevski Stephan Günnemann AAML 60 39 0 21 Oct 2021
Identification of Dynamical Systems using Symbolic Regression G. Kronberger Lukas Kammerer M. Kommenda 32 5 0 06 Jul 2021
Machine Learning for Electronic Design Automation: A Survey Guyue Huang Jingbo Hu Yifan He Jialong Liu Mingyuan Ma ... Yuzhe Ma Haoyu Yang Bei Yu Huazhong Yang Yu Wang 67 241 0 10 Jan 2021
Extreme Algorithm Selection With Dyadic Feature Representation Alexander Tornede Marcel Wever Eyke Hüllermeier 61 21 0 29 Jan 2020
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group) Zied Bouraoui Antoine Cornuéjols Thierry Denoeux Sebastien Destercke Didier Dubois ... Jérôme Mengin H. Prade Steven Schockaert M. Serrurier Christel Vrain 128 14 0 13 Dec 2019
Can $Q$ -Learning with Graph Networks Learn a Generalizable Branching Heuristic for a SAT Solver? Vitaly Kurin Saad Godil Shimon Whiteson Bryan Catanzaro NAI 76 28 0 26 Sep 2019
The Potential of Restarts for ProbSAT Jan-Hendrik Lorenz Julian Nickerl 20 1 0 26 Apr 2019
PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers Saeed Amizadeh Sergiy Matusevych Markus Weimer AI4CE 64 20 0 05 Mar 2019
$ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification$ ML + FV = $\heartsuit$ ? A Survey on the Application of Machine Learning to Formal Verification Moussa Amrani L. Lucio Adrien Bibal 53 5 0 10 Jun 2018
Learning a SAT Solver from Single-Bit Supervision Daniel Selsam Matthew Lamm Benedikt Bünz Percy Liang L. D. Moura D. Dill NAI 127 426 0 11 Feb 2018
Neural Networks for Predicting Algorithm Runtime Distributions Katharina Eggensperger Marius Lindauer Frank Hutter 32 10 0 22 Sep 2017
Graph Neural Networks and Boolean Satisfiability Benedikt Bünz Matthew Lamm GNN AI4CE NAI 50 27 0 12 Feb 2017
Is Parallel Programming Hard, And, If So, What Can You Do About It? (Release v2023.06.11a) P. McKenney 87 100 0 03 Jan 2017
Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions Saeed Nejati J. Liang Vijay Ganesh C. Gebotys Krzysztof Czarnecki 51 23 0 16 Aug 2016
Proteus: A Hierarchical Portfolio of Solvers and Transformations B. Hurley Lars Kotthoff Y. Malitsky Barry O'Sullivan 123 67 0 24 Jun 2013
Algorithm Selection for Combinatorial Search Problems: A Survey Lars Kotthoff 104 373 0 30 Oct 2012