Relation Algebra and RelView in Practical Use: Construction of Special University Timetables

DOI10.1007/978-3-540-78913-0_4MaRDI QIDQ3498403zbMATH OpenOpenAlexFDO

Authors Rudolf Berghammer, Britta Kehden

Publication date 15 May 2008

Published in Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78913-0_4

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Deterministic scheduling theory in operations research (90B35) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Relation-algebraic specification and solution of special university timetabling problems
• Relation algebras and their application in temporal and spatial reasoning
• Relational construction of specific timetables
• Applying relation algebra and RelView to solve problems on orders and lattices
• scientific article; zbMATH DE number 993586
• scientific article; zbMATH DE number 1223544
• University timetabling by constraint-based reasoning: A case study
• A perspective on the theory of relation algebras
• Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView
• Algebraic Visualization of Relations Using RelView

Cites work

• scientific article; zbMATH DE number 3471788 (Why is no real title available?)
• scientific article; zbMATH DE number 1953899 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• A Boolean matrix iteration in timetable construction
• Computer Algebra in Scientific Computing
• Evaluating Sets of Search Points Using Relational Algebra
• On the calculus of relations

Cited in

(4)

• Relation-algebraic specification and solution of special university timetabling problems
• Evaluating Sets of Search Points Using Relational Algebra
• Relational construction of specific timetables
• Modeling sequences within the RelView system

Describes a project that uses

Uses Software

• RelView

This page was built for publication: Relation Algebra and RelView in Practical Use: Construction of Special University Timetables

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