Relation-algebraic specification and solution of special university timetabling problems

DOI10.1016/J.JLAP.2010.07.013MaRDI QIDQ604453zbMATH OpenOpenAlexFDO

Authors Rudolf Berghammer, Britta Kehden

Publication date 11 November 2010

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2010.07.013

zbMATH Keywords

formal program developmentrelation algebraRelViewtimetablingtool support

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Deterministic scheduling theory in operations research (90B35)

Recommendations

• Relation Algebra and RelView in Practical Use: Construction of Special University Timetables
• Relational construction of specific timetables
• scientific article; zbMATH DE number 1728545
• On a conjecture for the university timetabling problem
• University timetabling by constraint-based reasoning: A case study

Cites work

• A Boolean matrix iteration in timetable construction
• Computer Algebra in Scientific Computing
• Evaluating Sets of Search Points Using Relational Algebra
• Handbook of Graph Theory
• scientific article; zbMATH DE number 3471788 (Why is no real title available?)
• scientific article; zbMATH DE number 1953899 (Why is no real title available?)
• Orders, lattices and relations with applications
• Relation-algebraic computation of fixed points with applications
• Relational Methods in Computer Science
• Theory and applications of relational structures as knowledge instruments II. International workshops of COST Action 274, TARSKI, 2002--2005. Selected revised papers
• Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers

Cited in

(5)

• Relational computation of sets of relations
• Relation Algebra and RelView in Practical Use: Construction of Special University Timetables
• Computing and visualizing Banks sets of dominance relations using relation algebra and RelView
• Relational construction of specific timetables
• Evaluating Sets of Search Points Using Relational Algebra

Describes a project that uses

Uses Software

• RelView

This page was built for publication: Relation-algebraic specification and solution of special university timetabling problems

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