Satisfiability Algorithm for Syntactic Read-k-times Branching Programs von Nagao, Atsuki, Seto, Kazuhisa, Teruyama, Junichi

Volltext

Lower Bounds for the Thickness and the Total Number of Edge Crossings of Euclidean Minimum Weight Laman Graphs and (2,2)-Tight Graphs von KAWAKAMI, Yuki, TAKAHASHI, Shun, SETO, Kazuhisa, HORIYAMA, Takashi, KOBAYASHI, Yuki, HIGASHIKAWA, Yuya, KATOH, Naoki

Volltext

A Satisfiability Algorithm for Deterministic Width-2 Branching Programs von MAKITA, Tomu, NAGAO, Atsuki, OKADA, Tatsuki, SETO, Kazuhisa, TERUYAMA, Junichi

Volltext

FOREWORD von SETO, Kazuhisa

Volltext

FOREWORD von SETO, Kazuhisa

Volltext

FOREWORD von SETO, Kazuhisa

Volltext

A Moderately Exponential Time Algorithm for k-IBDD Satisfiability von Nagao, Atsuki, Seto, Kazuhisa, Teruyama, Junichi

Volltext

Improved exact algorithms for mildly sparse instances of Max SAT von Sakai, Takayuki, Seto, Kazuhisa, Tamaki, Suguru, Teruyama, Junichi

Volltext

An Exact Algorithm for Oblivious Read-Twice Branching Program Satisfiability von SETO, Kazuhisa, TERUYAMA, Junichi

Volltext

Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction von Sakai, Takayuki, Seto, Kazuhisa, Tamaki, Suguru

Volltext

A Moderately Exponential Time Algorithm for k-IBDD Satisfiability von Nagao, Atsuki, Seto, Kazuhisa, Teruyama, Junichi

Volltext

Efficient Algorithms for Sorting k-Sets in Bins von NAGAO, Atsuki, SETO, Kazuhisa, TERUYAMA, Junichi

Volltext

Efficient Algorithms for Sorting k-Sets in Bins von Nagao, Atsuki, Seto, Kazuhisa, Teruyama, Junichi

Volltext

Finding top-k longest palindromes in substrings von Mitani, Kazuki, Mieno, Takuya, Seto, Kazuhisa, Horiyama, Takashi

Volltext

A Satisfiability Algorithm for Deterministic Width-2 Branching Programs von MAKITA, Tomu, NAGAO, Atsuki, OKADA, Tatsuki, SETO, Kazuhisa, TERUYAMA, Junichi

Volltext

The Planar Hajós Calculus for Bounded Degree Graphs von IWAMA, Kazuo, SETO, Kazuhisa, TAMAKI, Suguru

Volltext

Bounded depth circuits with weighted symmetric gates: Satisfiability, lower bounds and compression von Sakai, Takayuki, Seto, Kazuhisa, Tamaki, Suguru, Teruyama, Junichi

Volltext

An Introduction to Lower Bounds on Resolution Proof Systems von SETO, Kazuhisa

Volltext

A satisfiability algorithm and average-case hardness for formulas over the full binary basis von Seto, Kazuhisa, Tamaki, Suguru

Volltext

Internal Longest Palindrome Queries in Optimal Time von Mitani, Kazuki, Mieno, Takuya, Seto, Kazuhisa, Horiyama, Takashi

Volltext