Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
On the OBDD-Representation of General Boolean Functions
IEEE Transactions on Computers
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
Realtion-Algebraic Analysis of Petri Nets with RELVIEW
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Jedd: a BDD-based relational extension of Java
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Efficient Relational Calculation for Software Analysis
IEEE Transactions on Software Engineering
Relational programming with CrocoPat
Proceedings of the 28th international conference on Software engineering
Exact computation of minimum feedback vertex sets with relational algebra
Fundamenta Informaticae
Relations as an abstraction for BDD-based program analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
SPaC: a symbolic pareto calculator
CODES+ISSS '08 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis
Computing and Visualizing Closure Objects Using Relation Algebra and RelView
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
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 implementation of simple parallel evolutionary algorithms
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
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
Social software for coalition formation
TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2
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
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
Remarks on efficient computation of the inverse fourier transforms on finite non-abelian groups
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part II
Exact Computation of Minimum Feedback Vertex Sets with Relational Algebra
Fundamenta Informaticae
Algebraic visualization of relations using REL VIEW
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
| Hi-index | 0.00 |
We show how relations and their operations can efficiently be implemented by means of Binary Decision Diagrams. This implementation is used in the computer system RELVIEW. To demonstrate the power of the approach, we show how it can be applied to attack computationally hard problems.