• BoolVar/PB

  • Referenced in 2 articles [sw13579]
  • Boolean constraints into CNF formulae. Pseudo-Boolean constraints are linear inequations with integer coefficients ... area of time-table design, planning, resource allocation, circuit diagnosis... The resulting CNF formula ... problems that are specified with pseudo-Boolean constraints to be solved using SAT solvers...
  • PlasmoAlgorithms

  • Referenced in 1 article [sw34656]
  • constraints. Several hierarchical problems can be expressed in this way, for example: supply chain planning...
  • CSP2SAT4J

  • Referenced in 4 articles [sw10081]
  • have been shown successful in recent years: Planning and Bounded Model Checking are two examples ... with the other CSP solvers on binary constraints. Constraints being provided in extension...
  • ANML

  • Referenced in 2 articles [sw12930]
  • level, convenient, and succinct alternative to existing planning languages such as PDDL, the IxTeT language ... IxTeT, NDDL and AML), supports rich temporal constraints (like IxTeT, NDDL and AML), and provides ... language supports both generative and HTN planning models in a uniform framework...
  • PyBerny

  • Referenced in 1 article [sw33442]
  • features are missing at the moment but planned, some of them being actively worked ... help is always welcome): crystal geometries, coordinate constraints, coordinate weighting, transition state search. PyBerny...
  • MADRaS

  • Referenced in 1 article [sw38683]
  • goal state, the task of motion planning is to solve for a sequence of position ... between the states while adhering to safety constraints. These constraints often involve the behaviors ... driving agents can be trained for motion planning tasks using reinforcement learning and other machine...
  • GenePath

  • Referenced in 3 articles [sw35741]
  • data, and uses these relations as constraints in the search for a plausible genetic network ... large number of possible consequences of planned experiments. It also provides an explanation mechanism that...
  • FLIP

  • Referenced in 3 articles [sw00298]
  • solutions or risk of violation of the constraints. The graphics displayed by ‘FLIP’ provide ... support this conclusion, a land-use planning problem is solved using the ‘FLIP’ software...
  • mAL

  • Referenced in 1 article [sw26683]
  • agent domains in the presence of state constraints: the action language mAL. Reasoning about actions ... basis of many tasks such as prediction, planning, and diagnosis in a dynamic domain. Within...
  • LS-LIB

  • Referenced in 1 article [sw19560]
  • years in solving certain classes of production planning problems using mixed integer programming ... library of primitives to declare procedures/subroutines/global constraints in a high-level modeling language that ... simple matter to use the global constraints of LS-LIB by adding a few lines ... quality of a variety of production planning problems within minutes. The library incorporates much...
  • Kaskade

  • Referenced in 2 articles [sw32518]
  • constraint-based view enumeration technique that mines constraints from query workloads and graph schemas ... select the best query evaluation plan given a set of materialized views. We evaluate...
  • Polyrun

  • Referenced in 2 articles [sw36601]
  • problem parameters with a set of linear constraints. The software makes available an implementation ... various application areas, including logistics, land use planning, nanotechnology, and energy. The software is free...
  • DragonBreath

  • Referenced in 2 articles [sw21246]
  • DragonBreath: An Optimization Engine based on Constraint Programming and Local Search. The engine is built ... Examples for such problems are scheduling, action planning and configuration. The engine is specifically designed ... need to express constraints that are not part of the base distribution...
  • SENR/NRPy+

  • Referenced in 3 articles [sw40381]
  • black hole evolutions--nearly exponential convergence of constraint violation and gravitational waveform errors to zero ... components with respect to the coordinates. Future plans include extending this formulation to allow dynamical...
  • DarwinSPL

  • Referenced in 1 article [sw26909]
  • variability is modeled as feature models with constraints. Additionally, we are able to capture ... variability and tracking of previous evolution and planning future evolution of SPLs. We show...
  • TAKT

  • Referenced in 1 article [sw37195]
  • complex railway stations. Timetabling and capacity planning of railway transport faces ever-growing challenges ... reduced by ignoring selected minimum headway constraints. As a result, timetables with possible conflicts...
  • Control Toolbox

  • Referenced in 2 articles [sw36513]
  • supports rapid prototyping of cost functions and constraints and provides standard interfaces for different optimal ... dynamics control, extended Kalman filters or kinematic planning...
  • MOPP

  • Referenced in 1 article [sw01090]
  • plant limitations.Product interdependencies and utility requirements and constraints which limit the number of operations that ... combination of heuristic and deterministic algorithms. Production planning in an already existing plant has also...
  • SWIMS

  • Referenced in 0 articles [sw29382]
  • developed into a highly complex systemic planning problem and analytical tools are needed to assist ... lieu of user defined optimisation criteria and constraints. SWIMS calculates waste arisings into the future ... generated waste, while considering present and future constraints (e.g. capacity). If additional capacity is required ... sufficient capacity is available in existing and planned infrastructure to cope with future demand...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...