( en | de | ru )

 

Disambiguierung von "Soh, Takehide"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation.

, und . ECAI, Volume 215 von Frontiers in Artificial Intelligence and Applications, Seite 277-282. IOS Press, (2010)

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.

Takehide Senuma

Soh-Yeon Won

Soh-Yeun Yun

Jan Hendrik Sohl

Alternativer Risikotransfer zur Solvabilitätssteuerung in Schadenversicherungsunternehmen. NA Duisburg-Essen, (2009)

Bonaventure Soh Bejeng Ndikung

 

Weitere Publikationen von Autoren mit dem selben Namen

Implementing Efficient All Solutions SAT Solvers., und . CoRR, (2015)Implementing Efficient All Solutions SAT Solvers., und . ACM J. Exp. Algorithmics, 21 (1): 1.12:1-1.12:44 (2016)ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems., , , , , , und . CoRR, (2022)Compiling Pseudo-Boolean Constraints to SAT with Order Encoding., , und . ICTAI, Seite 1020-1027. IEEE Computer Society, (2013)Lemma Reusing for SAT based Planning and Scheduling., , , und . ICAPS, Seite 103-113. AAAI, (2006)Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings., , und . Int. J. Artif. Intell. Tools, 26 (1): 1760005:1-1760005:29 (2017)SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks., , , , und . BIOINFORMATICS, Seite 163-174. SCITEPRESS, (2023)Hamiltonian Cycle Reconfiguration with Answer Set Programming., , , , , , , und . JELIA, Volume 14281 von Lecture Notes in Computer Science, Seite 262-277. Springer, (2023)SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks., , , , und . CMSB, Volume 14137 von Lecture Notes in Computer Science, Seite 175-183. Springer, (2023)Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation., und . ECAI, Volume 215 von Frontiers in Artificial Intelligence and Applications, Seite 277-282. IOS Press, (2010)