( en | de | ru )

 

Disambiguation of "Soh, Takehide"

Author of the publication

copydeleteadd this publication to your clipboard
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem.

, , , , and . RCRA, volume 451 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)

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. You can also use the button next to the name to display some publications already assigned to the person.

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

 

Other publications of authors with the same name

SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks., , , , and . CMSB, volume 14137 of Lecture Notes in Computer Science, page 175-183. Springer, (2023)Hamiltonian Cycle Reconfiguration with Answer Set Programming., , , , , , , and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 262-277. Springer, (2023)SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks., , , , and . BIOINFORMATICS, page 163-174. SCITEPRESS, (2023)Dominating Set Reconfiguration with Answer Set Programming., , , , and . Theory Pract. Log. Program., 24 (4): 755-771 (2024)Implementing Efficient All Solutions SAT Solvers., and . CoRR, (2015)CoRe Challenge 2022/2023: Empirical Evaluations for Independent Set Reconfiguration Problems (Extended Abstract)., , , and . SOCS, page 285-286. AAAI Press, (2024)Lemma Reusing for SAT based Planning and Scheduling., , , and . ICAPS, page 103-113. AAAI, (2006)A Study on Production Scheduling Methods for Ready-Made Meal Industries., , , , , , , and . APMS (2), volume 729 of IFIP Advances in Information and Communication Technology, page 266-277. Springer, (2024)Compiling Pseudo-Boolean Constraints to SAT with Order Encoding., , and . ICTAI, page 1020-1027. IEEE Computer Society, (2013)ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems., , , , , , and . CoRR, (2022)