• VHPOP

  • Referenced in 10 articles [sw20688]
  • versatile heuristic POCL planner competitive with established CSP-based 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 SMT-LIB format. n this ... compiler from a declarative language for CSP modeling to the standard SMT-LIB 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, SAT-based 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...
  • occam-pi

  • 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 high-level 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 state-of-the 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...