Sign in
SANJAY: Automatically synthesizing visualizations of flow cytometry data using decision procedures.
Faraz Hussain
Zubir Husein
Neslisah Torosdagli
Narsingh Deo
Sumanta N. Pattanaik
Chung-Che Chang
Sumit Kumar Jha
Published in:
ICCABS (2015)
Keyphrases
</>
decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
satisfiability problem
databases
np complete
conjunctive queries
machine learning
special case
inference rules
containment of conjunctive queries