Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
Relations and graphs: discrete mathematics for computer scientists
Relations and graphs: discrete mathematics for computer scientists
Relational methods in computer science
Relational methods in computer science
Branching programs and binary decision diagrams: theory and applications
Branching programs and binary decision diagrams: theory and applications
Simple and Fast: Improving a Branch-And-Bound Algorithm for Maximum Clique
ESA '02 Proceedings of the 10th Annual European Symposium on Algorithms
Using Relation Algebra for the Analysis of Petri Nets in a CASE Tool Based Approach
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Implementing Relational Specifications in a Constraint Functional Logic Language
Electronic Notes in Theoretical Computer Science (ENTCS)
On Automating the Calculus of Relations
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Computing and Visualizing Closure Objects Using Relation Algebra and RelView
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
Contact Relations with Applications
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Relation algebra and relview in practical use: construction of special university timetables
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Multi-objective problems in terms of relational algebra
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
On automated program construction and verification
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Relational modelling and solution of chessboard problems
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
A functional, successor list based version of warshall's algorithm with applications
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Computations on simple games using RelView
CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
Solving algorithmic problems on orders and lattices by relation algebra and RELVIEW
CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
Computing and visualizing lattices of subgroups using relation algebra and RelView
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Investigating finite models of non-classical logics with relation algebra and RELVIEW
TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2
Exponential lower bounds on the space complexity of OBDD-Based graph algorithms
LATIN'06 Proceedings of the 7th Latin American conference on Theoretical Informatics
A relation-algebraic view on evolutionary algorithms for some graph problems
EvoCOP'06 Proceedings of the 6th European conference on Evolutionary Computation in Combinatorial Optimization
Algebraic visualization of relations using REL VIEW
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
Simple rectangle-based functional programs for computing reflexive-transitive closures
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Relation algebras, matrices, and multi-valued decision diagrams
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
| Hi-index | 0.00 |
We present an OBDD-based Computer Algebra system for relational algebra, called RelView. After a short introduction to the OBDD-implementation of relations and the system, we exhibit its application by presenting two typical examples.