The following pages link to Mikaël Monet (Q778531):
Displaying 5 items.
- Connecting knowledge compilation classes and width parameters (Q778533) (← links)
- Evaluating Datalog via tree automata and cycluits (Q2322722) (← links)
- Combined Tractability of Query Evaluation via Tree Automata and Cycluits (Q3174894) (← links)
- Connecting Width and Structure in Knowledge Compilation (Extended Version) (Q3305349) (← links)
- The Complexity of Counting Problems Over Incomplete Databases (Q5056349) (← links)