
CPnets
 Referenced in 138 articles
[sw01374]
 CPnets (Condition Preference Nets) is a tool for representing and reasoning with condition ceteris ... after some notions and an example of CPnets, we mainly introduce the realization ... class of binaryvalued, treestructured CPnets, which is conducted on the basis ... chain CPnets. So we explain how to divide a treestructured CPnet 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 eventbased...

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...

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

SuSpect
 Referenced in 25 articles
[sw00933]
 universal MSSM case with Rparity 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...

CPminer
 Referenced in 11 articles
[sw09179]
 CPMiner: A Tool for Finding Copypaste and Related Bugs in Operating System Code ... this paper we propose a tool, CPMiner, that uses data mining techniques to efficiently ... takes less than 20 minutes for CPMiner to identify 190,000 copypasted segments ... Linux and 150,000 in FreeBSD. Moreover, CPMiner has detected 28 copypaste 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 ... inferrelaxrestrict cycle in which CP and OR techniques may interact at any stage...

HIGLU
 Referenced in 13 articles
[sw11899]
 provides a modelindependent calculation for scalar [CPeven] as well as pseudoscalar ... CPodd] Higgs bosons including the contributions of virtual top and bottom quarks inside...

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

sunnycp
 Referenced in 6 articles
[sw31181]
 SUNNYCP : 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 sunnycp: 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 singletlike 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...