
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, conflictdriven 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” circuitbased representations of disjunctive temporal constraints (akin to ripplecarry adders used...

Euler diagrams
 Referenced in 1 article
[sw15821]
 region connection calculus (RCC8), 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 lowerbounds 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 SATsolver. 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 objectoriented constraint solving toolkit...