• CP-nets

  • Referenced in 138 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool for representing and reasoning with condition ceteris ... after some notions and an example of CP-nets, we mainly introduce the realization ... class of binary-valued, tree-structured CP-nets, which is conducted on the basis ... chain CP-nets. So we explain how to divide a tree-structured CP-net into...
  • Algorithm 862

  • Referenced in 82 articles [sw07347]
  • classes represent tensors stored in decomposed formats: cp_tensor and tucker_tensor. We describe...
  • Choco

  • Referenced in 65 articles [sw06254]
  • constraint satisfaction problems (CSP) and constraint programming (CP). It is built on a event-based...
  • SARAH

  • Referenced in 57 articles [sw06472]
  • limits of the theory can be chosen. CP and flavor violation can easily be switched...
  • QUICKXPLAIN

  • Referenced in 32 articles [sw28625]
  • generic method which works for arbitrary CP, SAT, or DL solvers. We significantly accelerate...
  • SALSA

  • Referenced in 30 articles [sw02661]
  • language can be implemented on top of CP systems, yielding a powerful environment for combinatorial...
  • CP-logic

  • Referenced in 18 articles [sw06947]
  • CP-logic: A language of causal probabilistic events and its relation to logic programming This...
  • SuSpect

  • Referenced in 25 articles [sw00933]
  • universal MSSM case with R-parity and CP conservation. Care has been taken to treat...
  • CPGraph

  • Referenced in 15 articles [sw08697]
  • CP(Graph) - Graph variables for constraint programming. CP(Graph)[1] defines a new computation domain...
  • JaCoP

  • Referenced in 21 articles [sw06307]
  • young people at high school age. CP technology is not easy...
  • CP-miner

  • Referenced in 11 articles [sw09179]
  • CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code ... this paper we propose a tool, CP-Miner, that uses data mining techniques to efficiently ... takes less than 20 minutes for CP-Miner to identify 190,000 copy-pasted segments ... Linux and 150,000 in FreeBSD. Moreover, CP-Miner has detected 28 copy-paste related...
  • SIMPL

  • Referenced in 11 articles [sw13333]
  • techniques. In recent years, the Constraint Programming (CP) and Operations Research (OR) communities have explored ... advantages of combining CP and OR techniques to formulate and solve combinatorial optimization problems. These ... called SIMPL. Our approach is to view CP and OR techniques as special cases ... infer-relax-restrict cycle in which CP and OR techniques may interact at any stage...
  • HIGLU

  • Referenced in 13 articles [sw11899]
  • provides a model--independent calculation for scalar [CP--even] as well as pseudoscalar ... CP--odd] Higgs bosons including the contributions of virtual top and bottom quarks inside...
  • CPsuperH

  • Referenced in 11 articles [sw09154]
  • minimal supersymmetric standard model with explicit CP-violation. We provide a detailed description ... Minimal Supersymmetric Standard Model with explicit CP violation. The program is based on recent renormalization ... studies, also in the CP-conserving case...
  • sunny-cp

  • Referenced in 6 articles [sw31181]
  • SUNNY-CP : a Sequential CP Portfolio Solver. The Constraint Programming (CP) paradigm allows to model ... Constraint Satisfaction / Optimization Problems (CSPs / COPs). A CP Portfolio Solver is a particular constraint solver ... takes advantage of a portfolio of different CP solvers in order to solve a given ... techniques. In this work we present sunny-cp: a CP portfolio for solving both CSPs...
  • NumberJack

  • Referenced in 9 articles [sw07412]
  • therefore a perfect tool to embed CP technology into larger applications. It is designed ... solvers (MiniSat) and (Walksat) and CP solver (Mistral...
  • LILIX

  • Referenced in 12 articles [sw00520]
  • code LILIX is based on a CP method for solving systems of coupled Schrödinger equations...
  • NMSPEC

  • Referenced in 12 articles [sw04070]
  • like Higgs boson decays dominantly into two CP odd singlet-like Higgs states...
  • ezcsp

  • Referenced in 11 articles [sw27479]
  • lightweight integration of ASP and constraint programming (CP). An extended answer...
  • PSICO

  • Referenced in 10 articles [sw10910]
  • still be improved, this shows that CP technology can greatly reduce computation time, a major...