Pages that link to "Item:Q2181943"
From MaRDI portal
The following pages link to Guiding high-performance SAT solvers with unsat-core predictions (Q2181943):
Displaying 6 items.
- Learning variable activity initialisation for lazy clause generation solvers (Q2117201) (← links)
- SeaPearl: a constraint programming solver guided by reinforcement learning (Q2117242) (← links)
- Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring (Q2694562) (← links)
- Adaptive solution prediction for combinatorial optimization (Q6112875) (← links)
- Conflict-free electric vehicle routing problem: an improved compositional algorithm (Q6544788) (← links)
- Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group (Q6577680) (← links)