Überwindung der Nichthandbarkeit im Knowledge Compilation Map


Project Acronym Projekt Kurzbezeichnung
Overcoming Intractability in the Knowledge Compilation Map
 
Project Title (de) Projekttitel (de)
Überwindung der Nichthandbarkeit im Knowledge Compilation Map
 
Project Title (en) Projekttitel (en)
Overcoming Intractability in the Knowledge Compilation Map
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 
Funder/Funding Agency Fördergeber
FWF - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
ESP 235-N
 

Publications

Results 1-5 of 5 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1de Colnet, Alexis ; Szeider, Stefan ; Zhang, Tianwei Compilation and Fast Model Counting beyond CNFInproceedings Konferenzbeitrag 2024
2Chew, Leroy ; De Colnet, Alexis ; Slivovsky, Friedrich ; Szeider, Stefan Hardness of Random Reordered Encodings of Parity for Resolution and CDCLInproceedings Konferenzbeitrag 2024
3de Colnet, Alexis On the Relative Efficiency of Dynamic and Static Top-Down Compilation to Decision-DNNFInproceedings Konferenzbeitrag 2024
4De Colnet-2023-Separating Incremental and Non-Incremental Bottom-Up Compi...-vor.pdf.jpgDe Colnet, Alexis Separating Incremental and Non-Incremental Bottom-Up CompilationInproceedings Konferenzbeitrag 9-Aug-2023
5de Colnet-2023-On Translations between ML Models for XAI Purposes-vor.pdf.jpgde Colnet, Alexis ; Marquis, Pierre On Translations between ML Models for XAI PurposesInproceedings Konferenzbeitrag 2023