( en | de | ru )

 

Disambiguierung von "Nabeshima, Hidetomo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Effective SAT Planning by Lemma-Reusing.

, , und . Artificial Intelligence and Applications, Seite 1-5. IASTED/ACTA Press, (2005)

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

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)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)Consequence Finding in Default Theories., , und . FQAS, Volume 3055 von Lecture Notes in Computer Science, Seite 459-472. Springer, (2004)Upside-Down Transformation in SOL/Connection Tableaux and Its Application., , und . ICTAC, Volume 3722 von Lecture Notes in Computer Science, Seite 166-179. Springer, (2005)A SAT-based Method for Solving the Two-dimensional Strip Packing Problem., , , , und . RCRA, Volume 451 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)On-the-Fly Lazy Clause Simplification Based on Binary Resolvents., , und . ICTAI, Seite 987-995. IEEE Computer Society, (2013)Extracting Frequent Subsequences from a Single Long Data Sequence: A Novel Anti-Monotonic Measure and a Simple On-Line Algorithm., , , und . ICDM, Seite 186-193. IEEE Computer Society, (2005)Evaluating Abductive Hypotheses using an EM Algorithm on BDDs., , , , und . IJCAI, Seite 810-815. (2009)Effective SAT Planning by Speculative Computation., , und . Australian Joint Conference on Artificial Intelligence, Volume 2557 von Lecture Notes in Computer Science, Seite 726-728. Springer, (2002)