
VHPOP
 Referenced in 10 articles
[sw20688]
 versatile heuristic POCL planner competitive with established CSPbased and heuristic state space planners...

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

ezcsp
 Referenced in 8 articles
[sw27479]
 solution to the constraint satisfaction problem (CSP) defined by such answer...

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

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

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

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

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

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

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

CSP
 Referenced in 1 article
[sw08678]
 tracking semantics for CSP. CSP is a powerful language for specifying complex concurrent systems ... analyses often rely on the use of CSP’s traces. In this work, we introduce ... synchronized computations in process algebras such as CSP. Tracking computations is a difficult task...

OKlibrary
 Referenced in 2 articles
[sw28616]
 problems” as a generalisation of SAT towards CSP, and we discuss the basic ideas...