Picture for Nadia Creignou

Nadia Creignou

Enumeration Classes Defined by Circuits

Add code
May 01, 2022
Figure 1 for Enumeration Classes Defined by Circuits
Viaarxiv icon

Belief merging within fragments of propositional logic

Add code
Apr 25, 2014
Figure 1 for Belief merging within fragments of propositional logic
Figure 2 for Belief merging within fragments of propositional logic
Figure 3 for Belief merging within fragments of propositional logic
Viaarxiv icon

Complexity of Propositional Abduction for Restricted Sets of Boolean Functions

Add code
Jun 28, 2010
Figure 1 for Complexity of Propositional Abduction for Restricted Sets of Boolean Functions
Figure 2 for Complexity of Propositional Abduction for Restricted Sets of Boolean Functions
Viaarxiv icon