( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Efficient SAT-Based Encodings of Conditional Cardinality Constraints.

, , , и . LPAR, том 57 из EPiC Series in Computing, стр. 181-195. EasyChair, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ayda Saïdane

Saïd Harchi

Saïd Izza

Zuhair Jabbour

Dina Jabbour

 

Другие публикации лиц с тем же именем

SAT graph-based representation: A new perspective., , и . J. Algorithms, 63 (1-3): 17-33 (2008)On Maximal Frequent Itemsets Enumeration., , и . SoCPaR, том 737 из Advances in Intelligent Systems and Computing, стр. 151-160. Springer, (2017)Cloud service composition using minimal unsatisfiability and genetic algorithm., , и . Concurr. Comput. Pract. Exp., (2020)A SAT-Based Framework for Overlapping Community Detection in Networks., , , и . PAKDD (2), том 10235 из Lecture Notes in Computer Science, стр. 786-798. (2017)Représentations compactes des graphes et contraintes pseudo booléennes., , , и . EGC, том E-35 из RNTI, стр. 407-412. Éditions RNTI, (2019)Efficient SAT-Based Encodings of Conditional Cardinality Constraints., , , и . LPAR, том 57 из EPiC Series in Computing, стр. 181-195. EasyChair, (2018)Targeting Minimal Rare Itemsets from Transaction Databases., , и . IJCAI, стр. 2114-2121. ijcai.org, (2023)A Symbolic Approach to Computing Disjunctive Association Rules from Data., , и . IJCAI, стр. 2133-2141. ijcai.org, (2023)A Comparative Study of Ranking Formulas Based on Consistency., , и . IJCAI, стр. 3330-3337. ijcai.org, (2023)Inconsistency measurement thanks to mus decomposition., , и . AAMAS, стр. 877-884. IFAAMAS/ACM, (2014)