A hypergraph model for constraint logic programming and applications to bus drivers' scheduling

DOI10.1007/BF01530792zbMath0998.68515OpenAlexW2029608368MaRDI QIDQ1353919

Paolo Carraresi, Gabriella Rago, Giorgio Gallo

Publication date: 12 May 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01530792

Mathematics Subject Classification ID

Hypergraphs (05C65) Deterministic scheduling theory in operations research (90B35) Logic programming (68N17)

Uses Software

• CHIP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Optimization by Simulated Annealing
• Network models for vehicle and crew scheduling
• Dynamic maintenance of directed hypergraphs
• On recursive axioms in deductive databases
• Consistency in networks of relations
• Directed hypergraphs and applications
• Networks of constraints: Fundamental properties and applications to picture processing
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Minimal Representation of Directed Hypergraphs