Autor der Publikation

Efficient SAT-Based Encodings of Conditional Cardinality Constraints.

, , , und . LPAR, Volume 57 von EPiC Series in Computing, Seite 181-195. EasyChair, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Représentations compactes des graphes et contraintes pseudo booléennes., , , und . EGC, Volume E-35 von RNTI, Seite 407-412. Éditions RNTI, (2019)SAT graph-based representation: A new perspective., , und . J. Algorithms, 63 (1-3): 17-33 (2008)On Maximal Frequent Itemsets Enumeration., , und . SoCPaR, Volume 737 von Advances in Intelligent Systems and Computing, Seite 151-160. Springer, (2017)A SAT-Based Framework for Overlapping Community Detection in Networks., , , und . PAKDD (2), Volume 10235 von Lecture Notes in Computer Science, Seite 786-798. (2017)Cloud service composition using minimal unsatisfiability and genetic algorithm., , und . Concurr. Comput. Pract. Exp., (2020)Efficient SAT-Based Encodings of Conditional Cardinality Constraints., , , und . LPAR, Volume 57 von EPiC Series in Computing, Seite 181-195. EasyChair, (2018)Prime Implicates Based Inconsistency Characterization., , , und . ECAI, Volume 263 von Frontiers in Artificial Intelligence and Applications, Seite 1037-1038. IOS Press, (2014)A SAT-Based Approach for Mining High Utility Itemsets from Transaction Databases., , , und . DaWaK, Volume 12393 von Lecture Notes in Computer Science, Seite 91-106. Springer, (2020)A Non-overlapping Community Detection Approach Based on α-Structural Similarity., , , , und . DaWaK, Volume 14148 von Lecture Notes in Computer Science, Seite 197-211. Springer, (2023)Targeting Minimal Rare Itemsets from Transaction Databases., , und . IJCAI, Seite 2114-2121. ijcai.org, (2023)