• MiniMaxSat

  • Referenced in 34 articles [sw09732]
  • MiniMaxSat: A New Weighted Max-SAT Solver. n this paper we introduce ... MiniMaxSat, a new Max-SAT solver that incorporates the best SAT and Max-SAT techniques ... 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...
  • 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...
  • 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...
  • 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...
  • GRASP

  • Referenced in 130 articles [sw01094]
  • Algorithm 754: Fortran subroutines for approximate solution of...
  • PERL

  • Referenced in 265 articles [sw01225]
  • Programming Perl. Perl is a language for easily...
  • Alloy

  • Referenced in 29 articles [sw01247]
  • Alloy: A new technology for software modelling. Alloy...
  • GraphBase

  • Referenced in 122 articles [sw01555]
  • The Stanford GraphBase is a freely available collection...
  • SATLIB

  • Referenced in 57 articles [sw02107]
  • SATLIB is a collection of benchmark problems, solvers...
  • ABACUS

  • Referenced in 115 articles [sw02948]
  • ABACUS is a software system written in C...
  • CALMA

  • Referenced in 105 articles [sw03235]
  • Algorithms for radio link frequency assignment: The CALMA...