( en | de | ru )

 

Disambiguierung von "Sais, Lakhdar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance.

, , , und . CP, Volume 4741 von Lecture Notes in Computer Science, Seite 453-467. Springer, (2007)

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.

Lakhdar Akroun

Siham Sais

Anne Saison

Victor Ricardo Enriquez Sais

 

Weitere Publikationen von Autoren mit dem selben Namen

On the complexity of computing minimal unsatisfiable LTL formulas., , und . Electron. Colloquium Comput. Complex., (2012)Extracting MUCs from Constraint Networks., , , und . ECAI, Volume 141 von Frontiers in Artificial Intelligence and Applications, Seite 113-117. IOS Press, (2006)On Maximal Frequent Itemsets Enumeration., , und . SoCPaR, Volume 737 von Advances in Intelligent Systems and Computing, Seite 151-160. Springer, (2017)Représentations compactes des graphes et contraintes pseudo booléennes., , , und . EGC, Volume E-35 von RNTI, Seite 407-412. Éditions RNTI, (2019)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)Tractable Cover Compilations., , , , und . IJCAI (1), Seite 122-127. Morgan Kaufmann, (1997)Efficient SAT-Based Encodings of Conditional Cardinality Constraints., , , und . LPAR, Volume 57 von EPiC Series in Computing, Seite 181-195. EasyChair, (2018)A Bayesian Monte Carlo method for computing the Shapley value: Application to weighted voting and bin packing games., , und . Comput. Oper. Res., (2021)SAT graph-based representation: A new perspective., , und . J. Algorithms, 63 (1-3): 17-33 (2008)Prime Implicates Based Inconsistency Characterization., , , und . ECAI, Volume 263 von Frontiers in Artificial Intelligence and Applications, Seite 1037-1038. IOS Press, (2014)