Learning variable activity initialisation for lazy clause generation solvers (Q2117201): Difference between revisions

@@ Property / cites work @@
+Machine learning for combinatorial optimization: a methodological tour d'horizon
+Normal rank
@@ Property / cites work @@
+Core-boosted linear search for incomplete MaxSAT
@@ Property / cites work: Core-boosted linear search for incomplete MaxSAT / rank @@
+Normal rank
@@ Property / cites work @@
+An investigation into prediction + optimisation for the knapsack problem
+Normal rank
@@ Property / cites work @@
+Model agnostic solution of CSPs via deep learning: a preliminary study
+Normal rank
@@ Property / cites work @@
+Debugging unsatisfiable constraint models
@@ Property / cites work: Debugging unsatisfiable constraint models / rank @@
+Normal rank
@@ Property / cites work @@
+Propagation via lazy clause generation
@@ Property / cites work: Propagation via lazy clause generation / rank @@
+Normal rank
@@ Property / cites work @@
+Guiding high-performance SAT solvers with unsat-core predictions
+Normal rank
@@ Property / cites work @@
+CrystalBall: gazing in the black box of SAT solving
+Normal rank