
SensorDCSP
 Referenced in 7 articles
[sw30992]
 Sensor networks and distributed CSP: communication, computation and complexity. We introduce SensorDCSP, a naturally distributed ... order to study the performance of Distributed CSP (DisCSP) algorithms in a truly distributed setting...

Exp.Open
 Referenced in 10 articles
[sw07702]
 operators from several process algebras (Ccs, Csp, Lotos, ELotos, μ Crl).Second, together with...

meSAT
 Referenced in 5 articles
[sw29642]
 meSAT: multiple encodings of CSP to SAT. One approach for solving Constraint Satisfaction Problems ... CSP) (and related Constraint Optimization Problems (COP)) involving integer and Boolean variables is reduction ... system that translates specifications of finite linear CSP problems into SAT instances using several well ... simple syntactic features of the input CSP instance. Thorough evaluation has been performed on large...

RealPlan
 Referenced in 9 articles
[sw01619]
 represented as a Constraint Satisfaction Problem (CSP) problem, and the planner and scheduler interact either...

BACP
 Referenced in 6 articles
[sw03472]
 propagation for the BACP Constraint Satisfaction Problems (CSP) provide a modelling framework for many computer ... associated to an optimization criterion. Solving a CSP consists in finding an assignment of values...

SIMPLY
 Referenced in 5 articles
[sw11807]
 SIMPLY: A compiler from a CSP modeling language to the SMTLIB format. n this ... compiler from a declarative language for CSP modeling to the standard SMTLIB format ... building a system for easy CSP modeling and solving. By taking advantage of the year...

CSP2SAT4J
 Referenced in 4 articles
[sw10081]
 CSP2SAT4J: A Simple CSP to SAT Translator. SAT solvers can now handle very large ... better than dedicated software. During the first CSP competition, SATbased approaches were demonstrated competitive ... with the other CSP solvers on binary constraints. Constraints being provided in extension ... predicates) and the approaches developed by the CSP community (that usually handle directly the constraints...

occampi
 Referenced in 8 articles
[sw07145]
 binding of key elements from Hoare’s CSP and Milner’s $pi$calculus into...

Mistral
 Referenced in 7 articles
[sw31321]
 constraintsolvers based onMistralthat entered the 2008 CSP Solver Competition...

ArcAngelC
 Referenced in 6 articles
[sw06338]
 systems using a combination of Z and CSP. Its refinement theory and calculus are distinctive...

dynASP
 Referenced in 6 articles
[sw09817]
 which implement techniques stemming from SAT or CSP...

ProBE
 Referenced in 6 articles
[sw16238]
 ProBE is an animator for CSP processes allowing the user to explore the behaviour...

CSPsim
 Referenced in 4 articles
[sw13312]
 CSP model of Eiffel’s SCOOP. The current informal semantics of the Simple Concurrent Object ... discuss a model using the process algebra CSP. This model gives a more formal semantics...

JCSP
 Referenced in 3 articles
[sw25045]
 CSP networking for Java (JCSP.net). JCSP is a library of Java packages providing an extended ... extended facilities for the dynamic construction of CSP networks across distributed environments (such ... works entirely at the application level and CSP primitives. A simple brokerage service  based ... systems. It provides highlevel support for CSP architectures, unifying concurrency logic within and between...

FaMa
 Referenced in 5 articles
[sw11367]
 proposed in the literature (BDD, SAT and CSP solvers are implemented). FaMa is the first...

fzn2smt
 Referenced in 4 articles
[sw13501]
 roots. It aims at solving CSP instances with stateofthe art SMT solvers...

HCSP
 Referenced in 2 articles
[sw02577]
 HCSP: Extending CSP for codesign and shared memory. HCSP is a variant of CSP adapted ... hardware compilation, among other purposes. It extends CSP in several ways: it includes priority; events...

cspy
 Referenced in 2 articles
[sw33031]
 solve the (resource) Constrained Shortest Path (CSP) problem. The CSP problem has been studied...

Concrete
 Referenced in 2 articles
[sw34782]
 Concrete is a CSP constraint solver written in Scala 2.13. We always ... pretty standard CP solver, which solves CSP instances using depthfirst search...

YOLOv4
 Referenced in 2 articles
[sw40822]
 ResidualConnections (WRC), CrossStagePartialconnections (CSP), Cross miniBatch Normalization (CmBN), Selfadversarial ... Mishactivation. We use new features: WRC, CSP, CmBN, SAT, Mish activation, Mosaic data augmentation...