Documents
Cette page met à disposition divers documents utilisés dans le cadre du projet.
Documents principaux
Cette section regroupe les principaux documents relatifs au projet.
Notes
Cette section regroupe les notes internes réalisées par les membres du projet.
- Combinations of Languages for Knowledge Compilation
- More realistic random models of sets of solutions
- About Approximate Compilation into DNNF
- Different Notions of Approximability in KC
- Model Distance Between Compiled Representations
- Some (Simple) Tractability Results for Parameterized Abduction
- On Learning DNNF Formulas with SAT
- On Counting the Number of DNNF of a Given Size
Outils
Cette section propose divers outils ayant servi à la rédaction des documents du projet.