We propose linear generalized disjunctive programming (GDP) models for the short-term scheduling problem of single stage batch plants with parallel units. Three different concepts of continuous-time ...

Abstract: This paper presents an extension of Disjunctive Datalog (DATALOG/sup V,/spl sim//) by integrity constraints. These are of two types: strong, that is, classical integrity constraints and weak ...

HOPA_Instances: Consistent and inconsistent HOPA benchmark problem instances used in experiments OPRA_Instances: Consistent and inconsistent OPRA benchmark problem instances used in experiments ...

Constrained beam search allows the user to exert control over the output of text generation based on forcing certain terms (like phrase table entries). Currently beam search limits the user to just ...

We focus on nonlinear minimization problems whose only combinatorial aspect comes from their disjunctive constraints. The recently introduced continuous quadrant penalty formulation of logical ...