Concepedia

Hidetomo Nabeshima

HN

10

Publications

270

Citations

10

H-Index

2005

Active since

Affiliations

University of Yamanashi(Current)

National Institute of Informatics

Takeda (Japan)

Kyushu University

Hidetomo Nabeshima is an author at University of Yamanashi specializing in engineering, computer science, and satisfiability.

ORCID

Top concepts

Publications per year

2005–2015

10

Publications

10

SOLAR: An automated deduction system for consequence finding

Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue et al. · AI Communications · 2010 · 45 citations

Evaluating abductive hypotheses using an EM algorithm on BDDs

Katsumi Inoue, Taisuke Sato, Masakazu Ishihata et al. · International Joint Conference on Artificial Intelligence · 2009 · 39 citations

Completing causal networks by meta-level abduction

Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima · Machine Learning · 2013 · 32 citations · Full text

, , +17

A SAT-based Method for Solving the Two-dimensional Strip Packing Problem

Takehide Soh, Katsumi Inoue, Naoyuki Tamura et al. · Fundamenta Informaticae · 2010 · 29 citations

Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers

Masahiko Sakai, Hidetomo Nabeshima · IEICE Transactions on Information and Systems · 2015 · 29 citations · Full text

, , +19

Rows per page

1–5 of 10