Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Calculation of unate cube set algebra using zero-suppressed BDDs
Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems
Lower bounds for the polynomial calculus
Optimal Space and Time Complexity Analysis on the Lattice of Cuboids Using Galois Connections for Data Warehousing
Efficient Computation of the Skyline Cube
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas
Bit-vector algorithms for binary constraint satisfaction and subgraph isomorphism
Algebraic decision diagrams and their applications
Efficient and scalable trie-based algorithms for computing set containment relations
Shared binary decision diagram with attributed edges for efficient Boolean function manipulation
a complete proof of correctness of the knuth - bendix completion algorithm .
Parallel intersection detection in massive sets of cubes
A Brief Introduction to Fourier Analysis on the Boolean Cube
Symbolic Model Checking using Zero-suppressed Decision Diagrams
A subdivision-based algorithm for the sparse resultant
BitCube: A Bottom-Up Cubing Engineering
BnB-ADOPT: An Asynchronous Branch-and-Bound DCOP Algorithm
Polynomial algorithms in computer algebra
Semidefinite characterization and computation of zero-dimensional real radical ideals
An Exhaustive DPLL Algorithm for Model Counting
Graph-Based Algorithms for Boolean Function Manipulation
The Design And Analysis Of Computer Algorithms
Prevalence of glaucoma types and legal blindness from glaucoma in the western region of Saudi Arabia: a hospital-based study
Occupational stressors, risks and health in the seafaring population
Breastfeeding and the Risk of Postneonatal Death in the United States
Turing Patterns in Memristive Cellular Nonlinear Networks