ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 0907.5032
  4. Cited By
Restart Strategy Selection using Machine Learning Techniques

Restart Strategy Selection using Machine Learning Techniques

29 July 2009
Shai Haim
T. Walsh
ArXiv (abs)PDFHTML

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?
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
Constrained Machine Learning: The Bagel Framework
Guillaume Perez
Sebastian Ament
Carla P. Gomes
Arnaud Lallouet
16
1
0
02 Dec 2021
Generalization of Neural Combinatorial Solvers Through the Lens of
  Adversarial Robustness
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
Identification of Dynamical Systems using Symbolic Regression
G. Kronberger
Lukas Kammerer
M. Kommenda
29
5
0
06 Jul 2021
Machine Learning for Electronic Design Automation: A Survey
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
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)
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?
Can QQQ-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
The Potential of Restarts for ProbSAT
Jan-Hendrik Lorenz
Julian Nickerl
18
1
0
26 Apr 2019
PDP: A General Neural Framework for Learning Constraint Satisfaction
  Solvers
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
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
Neural Networks for Predicting Algorithm Runtime Distributions
Katharina Eggensperger
Marius Lindauer
Frank Hutter
30
10
0
22 Sep 2017
Graph Neural Networks and Boolean Satisfiability
Graph Neural Networks and Boolean Satisfiability
Benedikt Bünz
Matthew Lamm
GNNAI4CENAI
48
27
0
12 Feb 2017
Is Parallel Programming Hard, And, If So, What Can You Do About It?
  (Release v2023.06.11a)
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
Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions
Saeed Nejati
J. Liang
Vijay Ganesh
C. Gebotys
Krzysztof Czarnecki
49
23
0
16 Aug 2016
Proteus: A Hierarchical Portfolio of Solvers and Transformations
Proteus: A Hierarchical Portfolio of Solvers and Transformations
B. Hurley
Lars Kotthoff
Y. Malitsky
Barry O'Sullivan
121
67
0
24 Jun 2013
Algorithm Selection for Combinatorial Search Problems: A Survey
Algorithm Selection for Combinatorial Search Problems: A Survey
Lars Kotthoff
102
373
0
30 Oct 2012
1