• Chaff

  • Referenced in 485 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability is probably the most studied of combinatorial...
  • Walksat

  • Referenced in 184 articles [sw04328]
  • local search algorithms to solve Boolean satisfiability problems. Both algorithms work on formulae that ... value to each variable. If the assignment satisfies all clauses, the algorithm terminates, returning ... then repeated until all the clauses are satisfied. WalkSAT and GSAT differ in the methods ... that will result in the fewest previously satisfied clauses becoming unsatisfied, with some probability...
  • HyTech

  • Referenced in 287 articles [sw04125]
  • condition under which a linear hybrid system satisfies a temporal requirement. Hybrid systems are specified...
  • SATO

  • Referenced in 187 articles [sw04451]
  • SATO: A Solver for Propositional Satisfiability: The Davis-Putnam method is one of the major ... practical methods for the satisfiability (SAT) problem of propositional logic. In the last decade...
  • GQTPAR

  • Referenced in 236 articles [sw07451]
  • method has a limit point which satisfies the first and second order necessary conditions...
  • DASSL

  • Referenced in 235 articles [sw03174]
  • given initial values, they must satisfy G(T,Y,YPRIME) = 0.). The subroutine solves...
  • TETRAD

  • Referenced in 216 articles [sw12177]
  • provided that structure and the sample data satisfy various commonly made (but not always true...
  • ASSAT

  • Referenced in 141 articles [sw02524]
  • whose loop formulas are not satisfied by M and adds their corresponding clauses...
  • SLAM

  • Referenced in 140 articles [sw03136]
  • project for checking that software satisfies critical behavioral properties of the interfaces it uses...
  • Optimization Toolbox

  • Referenced in 126 articles [sw10828]
  • parameters that minimize or maximize objectives while satisfying constraints. The toolbox includes solvers for linear...
  • Mace4

  • Referenced in 119 articles [sw06905]
  • ground equational rewriting is applied. If satisfiability is detected, one or more models are printed...
  • gfun

  • Referenced in 102 articles [sw00344]
  • procedure to compute the differential equation satisfied by their product. Each command in the gfun...
  • Isar

  • Referenced in 92 articles [sw04599]
  • formal proof language has been designed to satisfy quite contradictory requirements, being both ’declarative...
  • CFSQP

  • Referenced in 53 articles [sw04658]
  • Constrained Nonlinear (Minimax) Optimization Problems, Generating Iterates Satisfying All Inequality Constraints. CFSQP ... successive iterates generated by CFSQP all satisfy these constraints. Nonlinear equality constraints are turned into ... inequality constraints (to be satisfied by all iterates) and the maximum of the objective functions...
  • CALMA

  • Referenced in 82 articles [sw03235]
  • given domain. The assignment has to satisfy certain restrictions so as to limit the interference...
  • cvc3

  • Referenced in 73 articles [sw04886]
  • CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. CVC3...
  • COMET

  • Referenced in 52 articles [sw03051]
  • book also includes a number of satisfiability problems, illustrating the ability of constraint-based local ... search approaches to cope with both satisfiability and optimization problems in a uniform fashion...
  • Quaffle

  • Referenced in 50 articles [sw07278]
  • Conflicts And Satisfaction in Quantified Boolean Satisfiability Solver”, Proceedings of 8th International Conference on Principles ... Conflict Driven Learning in a Quantified Boolean Satisfiability Solver”, Proceedings of International Conference on Computer...
  • SATIRE

  • Referenced in 36 articles [sw04648]
  • SATIRE: A new incremental satisfiability engine. We introduce SATIRE, a new satisfiability solver that ... builds on the most recent advances in satisfiability research, and includes two new features ... effectiveness of these additions to classical satisfiability solver...