Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT (Q3172891): Difference between revisions

@@ Property / describes a project that uses @@
+MathSAT
@@ Property / describes a project that uses: MathSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UBCSAT
@@ Property / describes a project that uses: UBCSAT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1601158010
@@ Property / OpenAlex ID: W1601158010 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809056
@@ Property / cites work: Q4809056 / rank @@
+Normal rank
@@ Property / cites work @@
+Boosting Local Search Thanks to cdcl
@@ Property / cites work: Boosting Local Search Thanks to cdcl / rank @@
+Normal rank
@@ Property / cites work @@
+Fast and Flexible Difference Constraint Propagation for DPLL(T)
+Normal rank
@@ Property / cites work @@
+Local search algorithms for SAT: an empirical evaluation
+Normal rank
@@ Property / cites work @@
+Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems
+Normal rank
@@ Property / cites work @@
+Q3506045
@@ Property / cites work: Q3506045 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687271
@@ Property / cites work: Q5687271 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3172891