
HYPROLOG
 Referenced in 14 articles
[sw02743]
 partly borrows syntax from Constraint Handling Rules (CHR) for integrity constraints. Assumptions are a mechanism...

LMNtal
 Referenced in 9 articles
[sw07312]
 unify constraintbased concurrency and Constraint Handling Rules, the two notable extensions to concurrent logic...

CHRAnimation
 Referenced in 3 articles
[sw18637]
 CHRAnimation: an animation tool for constraint handling rules. Visualization tools of different languages offer ... programs of such languages work. Constraint Handling Rules (CHR) is currently used as a general ... still lacking on visualization tools. With Constraint Handling Rules (CHR) being a highlevel rule...

VAMPIRE
 Referenced in 200 articles
[sw02918]
 binary resolution and superposition for handling equality. The splitting rule and negative equality splitting ... some costly operations, e.g., checks of ordering constraints. Although the kernel of the system works...

SMCHR
 Referenced in 2 articles
[sw09322]
 SMCHR: satisfiability modulo constraint handling rules. Constraint handling rules (CHRs) are a highlevel rule ... programming language for specification and implementation of constraint solvers. CHR manipulates a global store representing ... flat conjunction of constraints. By default, CHR does not support goals with a more complex ... this paper we introduce satisfiability modulo constraint handling rules (SMCHR): a tight integration...

Cadmium
 Referenced in 4 articles
[sw06507]
 Cadmium is a rule based programming language for compiling solver independent constraint models to various ... based on a hybrid between Constraint Handling Rules (CHR) and term rewriting modulo Associativity, Commutativity ... context, such as variable declarations or other constraints. However, CC significantly complicates the Cadmium normalisation ... classic bottomup evaluation, but modified to handle CC matching. We evaluate the performance...

BProlog
 Referenced in 16 articles
[sw06949]
 including matching clauses, action rules for event handling, finitedomain constraint solving, arrays and hash...

TCHR
 Referenced in 3 articles
[sw01345]
 integrates in a lightweight manner Constraint Handling Rules, a highlevel language for constraint...

CHR
 Referenced in 3 articles
[sw20512]
 Constraint Handling Rules (CHR) is a committedchoice rulebased language embedded in Prolog ... designed for writing constraint solvers and is particularly useful for providing applicationspecific constraints...

ELAN
 Referenced in 100 articles
[sw02179]
 design of theorem provers, logic programming languages, constraints solvers and decision procedures and to offer ... rewriting is inherently nondeterministic since several rules can be applied at different positions ... only one result. This declarative handling of nondeterminism is part of a strategy language...

CHR.js
 Referenced in 1 article
[sw28857]
 CHR.js: A CHR Implementation in JavaScript. Constraint Handling Rules (CHR) is usually compiled to logic ... aheadoftime compiler, resulting in synchronous constraint solvers with better performances. Because...

Cardinal
 Referenced in 8 articles
[sw06999]
 constraints, existing set constraint solvers are not adequate to handle a number of problems ... rewriting rules on a constraint store and we illustrate its efficiency with experimental results...

DynGenPar
 Referenced in 1 article
[sw06424]
 PMCFGs). In particular, it supports efficient dynamic rule additions to the grammar at any moment ... tokens. Additionally, we handle constraints on the token following a rule. This allows for grammatically...

WinGULF
 Referenced in 14 articles
[sw19224]
 program are capable of handling up to 1000 main constraints and 1000 nonnegative variables ... developed by B.Martos[1] with various pivoting rules and branchandbound procedure (with various...

PROTOSL
 Referenced in 7 articles
[sw02876]
 external relational databases, and finite domain constraints. The type concept covers user defined sorts, subsort ... well as recursive function free deduction rules can be defined. PROTOSL also provides ... system. These features as well as file handling, term manipulation etc. are embedded typesafe ... OSF/Motif, and also with the finite domain constraint solver...

SONOLAR
 Referenced in 2 articles
[sw26291]
 constraints to a Boolean formula and lets a SAT solver decide the satisfiability. For handling ... series of wordlevel simplification rules are applied to the input formula which is then...

DCCP
 Referenced in 3 articles
[sw14722]
 solving nonconvex problems that involve objective and constraint functions that ... convex and concave functions and a few rules for combining them. Problems expressed using ... work on convexconcave programming, specifically the handling of domains of the functions...

FARMER
 Referenced in 3 articles
[sw26987]
 efficiently handle datasets with large number of columns. Moreover, the number of association rules generated ... rules from microarray datasets. Instead of finding individual association rules, FARMER finds interesting rule groups ... rules that are generated from the same set of rows. Unlike conventional rule mining algorithms ... interesting rules in the row enumeration space and exploits all userspecified constraints including minimum...

IRIT
 Referenced in 4 articles
[sw21528]
 many unique features that help in handling freeform geometry including strong symbolic, numeric and algebraic ... using composition), freeform surface decomposition into piecewise ruled and piecewise developable surfaces, and into adaptive ... powerful spline based nonlinear constraints solver. The solver is capable of computing the simultaneous...

Lpopt
 Referenced in 1 article
[sw21595]
 programming rules into smaller rules that are easier to handle for current solvers. The tool ... specifically tailored to handle the standard syntax of the ASP language (ASPCore) and makes ... handle the full ASP syntax, including complex constructs like aggregates, weak constraints, and arithmetic expressions...