scientific article; zbMATH DE number 512884

MaRDI QIDQ4281587zbMATH OpenFDO

Authors Jean Jourdan, Thierry Sola

Publication date 28 July 1994

zbMATH Keywords

aircraft sequencingAndorra principleconstraint logic programmingconstructive disjunctionlook-ahead analysisscheduling

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Logic programming (68N17) Deterministic scheduling theory in operations research (90B35)

Recommendations

• scientific article; zbMATH DE number 1213132
• Constructive Interval Disjunction
• Reasoning on constraints in CLP(FD)
• scientific article; zbMATH DE number 1420797

Cited in

(8)

• The disjunctive procedure and blocker duality
• The many benefits of putting stack filters into disjunctive or conjunctive normal form
• Negation in combining constraint systems
• Constraints in non-Boolean contexts
• Modeling Disjunctive Constraints with a Logarithmic Number of Binary Variables and Constraints
• Constructive Interval Disjunction
• scientific article; zbMATH DE number 1755608 (Why is no real title available?)
• Disjunctive Constraint Lambda Calculi

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4281587)