• Outward rotations

  • Referenced in 44 articles [sw08660]
  • improved approximation algorithm for MAX NAE-f3g-SAT. Finally, we provide some evidence that outward ... algorithms for MAX NAE-SAT and MAX SAT. 1 Introduction MAX CUT is perhaps...
  • MiniMaxSat

  • Referenced in 34 articles [sw09732]
  • MiniMaxSat: A New Weighted Max-SAT Solver. n this paper we introduce MiniMaxSat ... Max-SAT solver that incorporates the best SAT and Max-SAT techniques. It can handle ... penalized by a cost as in Max-SAT) as well as pseudo-boolean objective functions...
  • MaxSolver

  • Referenced in 20 articles [sw01990]
  • Maximum Boolean satisfiability (max-SAT) is the optimization counterpart of Boolean satisfiability (SAT), in which ... most competitive exact algorithms for solving max-SAT. In this paper, we propose and investigate ... number of strategies for max-SAT. The first strategy is a set of unit propagation ... unit resolution rules for max-SAT. We summarize three existing unit propagation rules and propose...
  • BG-WalkSAT

  • Referenced in 20 articles [sw05048]
  • Backbone Guided WalkSAT for SAT and Max-SAT with Dynamic Noise Ratio Here ... dynamic noise ratio for SAT and Max-SAT. Our software was built ... effort) and tested it on 3-SAT and Max-3-SAT. To learn more about...
  • CCLS

  • Referenced in 14 articles [sw36049]
  • Weighted Maximum Satisfiability. The maximum satisfiability (MAX-SAT) problem, especially the weighted version, has extensive ... applications. Weighted MAX-SAT instances encoded from real-world applications may be very large, which ... exist on SLS algorithms for weighted MAX-SAT. In this paper, we propose ... heuristic called CCM for weighted MAX-SAT. The CCM heuristic prefers to select a CCMP...
  • ToulBar2

  • Referenced in 22 articles [sw07289]
  • Fields, Weighted Constraint Satisfaction Problems, Weighted Max-SAT, Quadratic Pseudo-Boolean Optimization, and Bayesian Networks...
  • QMaxSAT

  • Referenced in 16 articles [sw09568]
  • QMaxSAT: A Partial Max-SAT Solver. QMaxSAT is a partial MaxSAT solver based...
  • CCEHC

  • Referenced in 3 articles [sw36050]
  • significant generalizations of maximum satisfiability (MAX-SAT), and weighted partial maximum satisfiability (WPMS ... stochastic local search (SLS) for weighted MAX-SAT and PMS, resulting in several state ... great progress of SLS on weighted MAX-SAT and PMS, the performance...
  • Sugar

  • Referenced in 24 articles [sw09758]
  • external SAT solver. Sugar also can solve Constraint Optimization Problems (COP) and Max-CSP. Sugar...
  • OptSAT

  • Referenced in 2 articles [sw00656]
  • decision procedure: given a SAT formula φ, it can decide if φ is satisfiable ... minimize/ maximize a given objective function. max-sat, min-one, distance-sat and their weighted...
  • BARON

  • Referenced in 316 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Maple

  • Referenced in 5124 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5957 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • MetiTarski

  • Referenced in 49 articles [sw00573]
  • Many inequalities involving the functions ln, exp, sin...
  • MiniSat

  • Referenced in 536 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • Pueblo

  • Referenced in 29 articles [sw00743]
  • This paper introduces a new hybrid method for...
  • QAPLIB

  • Referenced in 221 articles [sw00751]
  • A collection of electronically available data instances for...