The following pages link to (Q5687272):
Displaying 6 items.
- Solving weighted MAX-SAT via global equilibrium search (Q1003491) (← links)
- An algorithm based on tabu search for satisfiability problem (Q1613279) (← links)
- Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results (Q2216123) (← links)
- Solving the weighted MAX-SAT problem using the dynamic convexized method (Q2439524) (← links)
- An Experimental Evaluation of Fast Approximation Algorithms for the Maximum Satisfiability Problem (Q4577945) (← links)
- Meta-heuristics and artificial intelligence (Q6602249) (← links)
