• Pueblo

  • Referenced in 34 articles [sw00743]
  • combine it with generic implication graph analysis for conflict-induced learning. Novel features...
  • MathCheck

  • Referenced in 13 articles [sw13642]
  • within the inner loop of a conflict-driven clause-learning SAT solver. SAT+CAS systems ... universal conjectures on any mathematical topic (e.g., graph and number theory, algebra, geometry, etc.) supported...
  • HaifaSat

  • Referenced in 6 articles [sw00397]
  • heuristic like Berkmin. According to this model, conflict clauses are abstractions of the clauses from ... abstraction/refinement strategy (based on the resolve-graph) rather than satisfying the clauses in the chronological...
  • CirCUs

  • Referenced in 9 articles [sw00128]
  • combination of an And-Inverter-Graph (AIG), Conjunctive Normal Form (CNF) clauses, and Binary Decision ... recognizing that the variables involved in a conflict clause are often best treated...
  • ImageNetDiff

  • Referenced in 1 article [sw13510]
  • process of discovery of differences in possibly conflicting versions of Petri net code. The method ... uses the image representaion of the net graph and compares the pixels of the exported...
  • SubMAP

  • Referenced in 3 articles [sw25790]
  • molecules (nodes) of the input pathways (graphs). We follow the observation that, in nature, different ... also does not contain any conflicting mappings. Here we prove that this maximization...
  • BARON

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

  • Referenced in 32 articles [sw00085]
  • Boolector: an efficient SMT solver for bit-vectors...
  • CUTE

  • Referenced in 66 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...
  • Diffpack

  • Referenced in 115 articles [sw00203]
  • As modern programming methodologies migrate from computer science...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 267 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

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

  • Referenced in 13702 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MBL

  • Referenced in 8 articles [sw00561]
  • Parallel programming is essential for large-scale scientific...
  • MetiTarski

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

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

  • Referenced in 285 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • R

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...