Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: A Java Library For Zero-Suppressed Decision Diagrams
Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems
Symbolic model checking without BDDs
Solving Influence Diagrams: Exact Algorithms
Visualizing SAT Instances and Runs of the DPLL Algorithm
A Compiler for Deterministic, Decomposable Negation Normal Form
Implementing the Davis–Putnam Method
Solving Limited-Memory Influence Diagrams Using Branch-and-Bound Search
A System for Induction of Oblique Decision Trees
Simplifying Decision Trees: A Survey
Solving Limited Memory Influence Diagrams
Induction of One-Level Decision Trees
Communication and Memory Efficient Parallel Decision Tree Construction
Decision-Driven Models with Probabilistic Soft Logic
Feature Diagrams and Logics: There and Back Again
A complete fuzzy decision tree technique
A fast APRIORI implementation
Compiling Knowledge into Decomposable Negation Normal Form
Circuit Treewidth, Sentential Decision, and Query Compilation
Z3: An Efficient SMT Solver
A layout algorithm for data flow diagrams
QUANTITATIVE ANALYSIS OF SHADOW EFFECTS IN HIGH-RESOLUTION IMAGES OF URBAN AREAS
The Design And Analysis Of Computer Algorithms
Agent-based simulation of human movement shaped by the underlying street structure
High-Level Prediction Signals in a Low-Level Area of the Macaque Face-Processing Hierarchy
Agrobacterium tumefaciens as an agent of disease