Results 1 to 20 of 29
Sort by:

  • SMCHR
  • Referenced in 2 articles [sw09322]
  • satisfiability modulo constraint handling rules. Constraint handling rules (CHRs) are a high-level rule-based ... constraint solvers. CHR manipulates a global store representing a flat conjunction of constraints. By default ... this paper we introduce satisfiability modulo constraint handling rules (SMCHR): a tight integration ... propositional structure. SMCHR is essentially a satisfiability modulo theories (SMT) solver where the theory...

  • Maple
  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...

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

  • SCIP
  • Referenced in 542 articles [sw01091]
  • SCIP is currently one of the fastest non...

  • MACSYMA
  • Referenced in 720 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...

  • CP-nets
  • Referenced in 138 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool...

  • VAMPIRE
  • Referenced in 258 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...

  • PVS
  • Referenced in 629 articles [sw03484]
  • PVS is a verification system: that is, a...

  • CPLEX
  • Referenced in 2773 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

  • Smodels
  • Referenced in 239 articles [sw04631]
  • The Smodels system is an Answer Set Programming...

  • GAMS
  • Referenced in 866 articles [sw04978]
  • The General Algebraic Modeling System (GAMS) is specifically...

  • ETPS
  • Referenced in 160 articles [sw06302]
  • TPS and ETPS are, respectively, the Theorem Proving...

  • Cadmium
  • Referenced in 4 articles [sw06507]
  • Cadmium: an implementation of ACD term rewriting. Cadmium...

  • Chaff
  • Referenced in 586 articles [sw06916]
  • Chaff:engineering an efficient SAT solver. Boolean Satisfiability...

  • B-Prolog
  • Referenced in 18 articles [sw06949]
  • B-Prolog is a high-performance implementation of...

  • Scala
  • Referenced in 90 articles [sw07180]
  • Steps in Scala. An introduction to object-functional...

  • OEIS
  • Referenced in 4221 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...

  • Predator
  • Referenced in 18 articles [sw07396]
  • Predator: a tool for verification of low-level...