Solving weighted MAX-SAT via global equilibrium search (Q1003491): Difference between revisions

@@ Property / describes a project that uses @@
+Tabu search
@@ Property / describes a project that uses: Tabu search / 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.1016/j.orl.2007.11.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2026591463
@@ Property / OpenAlex ID: W2026591463 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic aspects in speech recognition
@@ Property / cites work: Algorithmic aspects in speech recognition / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247437
@@ Property / cites work: Q4247437 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4371411
@@ Property / cites work: Q4371411 / rank @@
+Normal rank
@@ Property / cites work @@
+GRASP with path relinking for the weighted MAXSAT problem
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of metaheuristics
@@ Property / cites work: Handbook of metaheuristics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495496
@@ Property / cites work: Q4495496 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for the maximum satisfiability problem
@@ Property / cites work: Algorithms for the maximum satisfiability problem / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Partial Satisfaction
@@ Property / cites work: Complexity of Partial Satisfaction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2749855
@@ Property / cites work: Q2749855 / rank @@
+Normal rank
@@ Property / cites work @@
+Guided local search for solving SAT and weighted MAX-SAT problems
+Normal rank
@@ Property / cites work @@
+Global equilibrium search applied to the unconstrained binary quadratic optimization problem
+Normal rank
@@ Property / cites work @@
+Solving weighted MAX-SAT via global equilibrium search
+Normal rank
@@ Property / cites work @@
+Q5561269
@@ Property / cites work: Q5561269 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687270
@@ Property / cites work: Q5687270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375767
@@ Property / cites work: Q4375767 / rank @@
+Normal rank
@@ Property / cites work @@
+Problems of discrete optimization: challenges and main approaches to solve them
+Normal rank
@@ Property / cites work @@
+Q5687272
@@ Property / cites work: Q5687272 / rank @@
+Normal rank
@@ Property / cites work @@
+Analyses on the 2 and 3-flip neighborhoods for the MAX SAT
+Normal rank
@@ Property / cites work @@
+Efficient 2 and 3-flip neighborhood search algorithms for the MAX SAT: experimental Evaluation
+Normal rank