Kazuhisa Seto

Available identifiers

Publication	Date of Publication	Type
Optimal LZ-end parsing is hard	2024-10-21	Paper
Finding top-$k$ longest palindromes in substrings	2023-11-24	Paper
Finding top-$k$ longest palindromes in substrings	2023-10-26	Paper
Satisfiability algorithm for syntactic read-$k$-times branching programs	2021-06-11	Paper
Satisfiability Algorithm for Syntactic Read-$k$-times Branching Programs	2020-11-25	Paper
An Introduction to Lower Bounds on Resolution Proof Systems	2020-11-19	Paper
Bounded depth circuits with weighted symmetric gates: satisfiability, lower bounds and compression	2019-08-07	Paper
A moderately exponential time algorithm for $k$-IBDD satisfiability	2018-07-26	Paper
Bounded Depth Circuits with Weighted Symmetric Gates: Satisfiability, Lower Bounds and Compression	2018-03-21	Paper
Improved Exact Algorithms for Mildly Sparse Instances of Max SAT	2017-09-29	Paper
Improved exact algorithms for mildly sparse instances of MAX SAT	2017-09-28	Paper
Solving sparse instances of Max SAT via width reduction and greedy restriction	2016-01-28	Paper
A Moderately Exponential Time Algorithm for k-IBDD Satisfiability	2015-10-30	Paper
Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction	2014-09-26	Paper
Efficient Algorithms for Sorting k-Sets in Bins	2014-02-18	Paper
A satisfiability algorithm and average-case hardness for formulas over the full binary basis	2013-07-19	Paper
Improved Randomized Algorithms for 3-SAT	2010-12-09	Paper
The complexity of the Hajós calculus for planar graphs	2010-03-09	Paper

This page was built for person: Kazuhisa Seto