research
∙
03/09/2020
Containment of Simple Regular Path Queries
Testing containment of queries is a fundamental reasoning task in knowle...
share
research
∙
08/17/2019
Knowledge Compilation for Boolean Functional Synthesis
Given a Boolean formula F(X,Y), where X is a vector of outputs and Y is ...
research
∙
05/15/2019
