Kazuhisa Seto

Available identifiers

zbMath Open seto.kazuhisaMaRDI QIDQ354653

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kazuhisa Seto