• BL data set

  • Referenced in 26 articles [sw08330]
  • Constraint Propagation and Decomposition Techniques for Highly Disjunctive and Highly Cumulative Project Scheduling Problems ... recent years, constraint satisfaction techniques have been successfully applied to “disjunctive” scheduling problems, i.e., scheduling ... area of “cumulative” scheduling. Multiple constraint propagation algorithms have been developed for cumulative resources ... less uniformly effective than their disjunctive counterparts. Different problems in the cumulative scheduling class seem...
  • cc(FD)

  • Referenced in 17 articles [sw21237]
  • constraint solver includes (nonlinear) arithmetic constraints over natural numbers which are approximated using domain ... particular cardinality, constructive disjunction, and blocking implication, in conjunction with new constraint operations such ... such as the definition of nonprimitive constraints and disjunctions to be tackled at the language...
  • WASP

  • Referenced in 53 articles [sw09565]
  • based on constraint learning. This paper introduces WASP, an ASP solver handling disjunctive logic programs ... programs. Among them are restarts, conflict-driven constraint learning and backjumping. Moreover, WASP combines these...
  • TCAS

  • Referenced in 5 articles [sw21413]
  • with Linear Programming to solve conditional disjunctive constraint systems over bounded integers extracted from computer...
  • NP Datalog

  • Referenced in 9 articles [sw13446]
  • efficient constructs (namely, stratified negation, constraints, and exclusive disjunction) is introduced. Next, a further restricted...
  • CircuitTSAT

  • Referenced in 1 article [sw18672]
  • employing ”compact” circuit-based representations of disjunctive temporal constraints (akin to ripple-carry adders used...
  • Euler diagrams

  • Referenced in 1 article [sw15821]
  • region connection calculus (RCC-8), radius constraints and disjunctions. Euler diagrams are described...
  • FixBag

  • Referenced in 4 articles [sw10096]
  • recursive bag constraints. To support better precision, we have allowed disjunctive formulae to be inferred...
  • BOXES

  • Referenced in 6 articles [sw21178]
  • known Box (or Intervals) domain with finite disjunctions. An element of Boxes is a finite ... propositional formula over upper- and lower-bounds constraints. Our implementation is symbolic, and weds...
  • SMCHR

  • Referenced in 2 articles [sw09322]
  • global store representing a flat conjunction of constraints. By default, CHR does not support goals ... with a more complex propositional structure including disjunction, negation, etc., or CHR relies ... this paper we introduce satisfiability modulo constraint handling rules (SMCHR): a tight integration...
  • APT

  • Referenced in 3 articles [sw29303]
  • control part of the execution of a constraint logic program can be conceptually shown ... calls, and whose branches represent conjunctions and disjunctions. This tree represents the search space traversed ... implemented in APT, a tool which runs constraint logic programs while depicting a (modified) searchtree...
  • BARON

  • Referenced in 339 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

  • Referenced in 1856 articles [sw00161]
  • Coq is a formal proof management system. It...
  • MapReduce

  • Referenced in 257 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • MCGP

  • Referenced in 15 articles [sw00562]
  • We present MCGP -- a tool for generating and...
  • mclust

  • Referenced in 281 articles [sw00563]
  • R package mclust: Normal Mixture Modeling for Model...
  • MiniSat

  • Referenced in 558 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • PROFIL/BIAS

  • Referenced in 134 articles [sw00733]
  • PROFIL (Programmer’s Runtime Optimized Fast Interval Library...
  • PSPLIB

  • Referenced in 267 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...
  • QOCA

  • Referenced in 30 articles [sw00756]
  • We describe an object-oriented constraint solving toolkit...