Takashi Horiyama

2 papers at tracked venues · 1 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 KR ×1

Frequent coauthors

Mutsunori Banbara

×1

Hideo Bannai

×1

Dominik Köppl

×1

Takuya Mieno

×1

Hidetomo Nabeshima

×1

Yasuaki Kobayashi

×1

Hirotaka Ono

×1

Kazuhisa Seto

×1

Ryu Suzuki

×1

Papers

Optimal Dictionary-Based Compression with Answer Set Programming: Encodings and Empirical Analysis
KR 2026 ·
Mutsunori Banbara
,
Hideo Bannai
, Takashi Horiyama,
Dominik Köppl
,
Takuya Mieno
,
Hidetomo Nabeshima
Theoretical Aspects of Generating Instances with Unique Solutions: Pre-assignment Models for Unique Vertex Cover
AAAI 2024 · Takashi Horiyama,
Yasuaki Kobayashi
,
Hirotaka Ono
,
Kazuhisa Seto
,
Ryu Suzuki