Kazuhisa Seto

Available identifiers

Publication	Date of Publication	Type
Optimal LZ-end parsing is hard	2024-10-21	Paper
Internal longest palindrome queries in optimal time	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