• cc(FD)

  • Referenced in 18 articles [sw21237]
  • which are approximated using domain and interval consistency. The main novelty ... based engine [44], optimal arc-consistency algorithms based on AC-5 [40], and incremental implementation...
  • PBLib

  • Referenced in 10 articles [sw13578]
  • whether unit propagation maintains generalized arc consistency. Moreover, PBLib normalizes PB constraints and automatically uses...
  • STR2

  • Referenced in 10 articles [sw14873]
  • tables of supports when generalized arc consistency (GAC) is enforced/maintained. STR2, the new refined...
  • Newton

  • Referenced in 6 articles [sw21236]
  • notion of box-consistency, which approximates arc-consistency, a notion well known in artificial intelligence...
  • YIELDS

  • Referenced in 5 articles [sw31658]
  • Discrepancy Search, Forward Checking, and Maintaining Arc Consistency. Experiments carried out on randomly generated binary...
  • maxRPWC+

  • Referenced in 1 article [sw14872]
  • Strong local consistency algorithms for table constraints. Table constraints are important in constraint programming ... numerous specialized algorithms that achieve generalized arc consistency (GAC) on table constraints have been proposed...
  • DTCPP

  • Referenced in 1 article [sw00223]
  • minimum feedback arc set problem consists of finding a minimum weight set of arcs ... Similarly, the minimum feedback vertex set problem consists of finding a minimum weight...
  • AMB

  • Referenced in 2 articles [sw08810]
  • designed AMB shape consists of graphical primitives like lines and arcs with fixed properties...
  • PLink

  • Referenced in 1 article [sw20746]
  • points, PL arcs, or PL circles. Line segments are oriented consistently in each component. Different...
  • TPstructure

  • Referenced in 4 articles [sw23814]
  • genus zero. RNAFeatures* acts on formal, arc-labeled RNA secondary structures, called λ-structures ... together with some additional information. This information consists of the specific rearrangement of the backbone...
  • R-CHIE

  • Referenced in 2 articles [sw17137]
  • secondary structure as a planar graph consisting of base-paired stems interconnected by roundish loops ... method of depicting RNA secondary structure as arc diagrams. This is well suited for structures...
  • SPIS

  • Referenced in 4 articles [sw41742]
  • second part of ESDs, i.e., the vacuum arc and its related flashover plasma expansion ... hence, decameters to millimeter) scale. This self-consistent computation shows that macroscopic inverted-voltage-gradient...
  • GRAPE

  • Referenced in 1 article [sw19877]
  • mesh line angles at the boundaries. Output consists of a dataset containing the grid data ... released by NASA through COSMIC as ARC-11379. The italicized text above is from...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • BPOLY

  • Referenced in 13 articles [sw00089]
  • Algorithm 812: BPOLY: An object-oriented library of...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Mathematica

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

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

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