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

@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CHUFFED
@@ Property / describes a project that uses: CHUFFED / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CrystalBall
@@ Property / describes a project that uses: CrystalBall / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-78230-6_4
+Normal rank
@@ Property / OpenAlex ID @@
+W3170772251
@@ Property / OpenAlex ID: W3170772251 / rank @@
+Normal rank
@@ 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