Hidetomo Nabeshima

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Hamiltonian cycle reconfiguration with answer set programming	2024-05-29	Paper
Reproducible efficient parallel SAT solving	2021-04-07	Paper
Coverage-based clause reduction heuristics for CDCL solvers	2017-11-15	Paper
Completing SBGN-AF networks by logic-based hypothesis finding Formal Methods in Macro-Biology	2015-08-06	Paper
Completing causal networks by meta-level abduction Machine Learning	2013-10-22	Paper
Hypothesizing about causal networks with positive and negative effects by meta-level abduction Inductive Logic Programming	2011-06-17	Paper
A SAT-based method for solving the two-dimensional strip packing problem	2011-06-10	Paper
Discovering Rules by Meta-level Abduction Inductive Logic Programming	2010-08-24	Paper
SOLAR: An automated deduction system for consequence finding AI Communications	2010-06-17	Paper
SOLAR: a consequence finding system for advanced reasoning Lecture Notes in Computer Science	2010-03-09	Paper
Reconsideration of circumscriptive induction with pointwise circumscription Journal of Applied Logic	2009-08-14	Paper
Inductive Logic Programming Lecture Notes in Computer Science	2006-11-01	Paper
Theoretical Aspects of Computing – ICTAC 2005 Lecture Notes in Computer Science	2006-11-01	Paper
scientific article; zbMATH DE number 1954197 (Why is no real title available?)	2003-07-28	Paper
scientific article; zbMATH DE number 1927148 (Why is no real title available?)	2003-06-12	Paper

Research outcomes over time

This page was built for person: Hidetomo Nabeshima