( en | de | ru )

 

Disambiguierung von "Raddaoui, Badran"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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.

Badran Mohamed Omar Badran

Mahmoud Badran

Hussein Badran

Hania Badran

Ahmed Badran

 

Weitere Publikationen von Autoren mit dem selben Namen

Finding Overlapping Communities in Networks Using Propositional Satisfiability., , , und . EDA, Volume B-13 von RNTI, Seite 67-80. Éditions RNTI, (2017)Pushing the Envelope in Overlapping Communities Detection., , , und . IDA, Volume 11191 von Lecture Notes in Computer Science, Seite 151-163. Springer, (2018)On the Enumeration of Association Rules: A Decomposition-based Approach., , , und . IJCAI, Seite 1265-1271. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Ranking-based Argumentation Semantics Applied to Logical Argumentation (full version)., , und . CoRR, (2023)Cohesive Subgraph Models for Overlapping Community Search over Networks., , , und . SoMeT, Volume 327 von Frontiers in Artificial Intelligence and Applications, Seite 282-293. IOS Press, (2020)Discovering Overlapping Communities Based on Cohesive Subgraph Models over Graph Data., , und . DaWaK, Volume 13428 von Lecture Notes in Computer Science, Seite 189-201. Springer, (2022)Summarizing big graphs by means of pseudo-boolean constraints., , , , und . IEEE BigData, Seite 889-894. IEEE Computer Society, (2016)Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies., , und . Description Logics, Volume 2373 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)A Framework for Reasoning About Uncertainty in Ontologies., , und . IEEE Intell. Syst., 37 (6): 27-37 (November 2022)Handling conflicts in uncertain ontologies using deductive argumentation., , , und . WI, Seite 65-72. ACM, (2017)