( en | de | ru )

 

Disambiguierung von "Nabeshima, Hidetomo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem.

, , , , und . RCRA, Volume 451 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)

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.

Keine Personen gefunden für den Autorennamen Nabeshima, Hidetomo
Eine Person hinzufügen mit dem Namen Nabeshima, Hidetomo
 

Weitere Publikationen von Autoren mit dem selben Namen

Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers., und . IEICE Trans. Inf. Syst., 98-D (6): 1121-1127 (2015)Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-level Abduction., , und . ILP, Volume 6489 von Lecture Notes in Computer Science, Seite 114-129. Springer, (2010)International Competition on Graph Counting Algorithms 2023., , , , , und . CoRR, (2023)Hamiltonian Cycle Reconfiguration with Answer Set Programming., , , , , , , und . JELIA, Volume 14281 von Lecture Notes in Computer Science, Seite 262-277. Springer, (2023)Reproducible Efficient Parallel SAT Solving., und . SAT, Volume 12178 von Lecture Notes in Computer Science, Seite 123-138. Springer, (2020)Coverage-Based Clause Reduction Heuristics for CDCL Solvers., und . SAT, Volume 10491 von Lecture Notes in Computer Science, Seite 136-144. Springer, (2017)Discovering Rules by Meta-level Abduction., , , und . ILP, Volume 5989 von Lecture Notes in Computer Science, Seite 49-64. Springer, (2009)A Case-Based Recognition of Semantic Structures in HTML Documents., , und . IDEAL, Volume 2412 von Lecture Notes in Computer Science, Seite 141-147. Springer, (2002)Effective SAT Planning by Lemma-Reusing., , und . Artificial Intelligence and Applications, Seite 1-5. IASTED/ACTA Press, (2005)Solving Open Job-Shop Scheduling Problems by SAT Encoding., , , und . IEICE Trans. Inf. Syst., 93-D (8): 2316-2318 (2010)