Takayuki Sakai

Available identifiers

zbMath Open sakai.takayukiMaRDI QIDQ905694

List of research outcomes

Publication	Date of Publication	Type
Bounded depth circuits with weighted symmetric gates: satisfiability, lower bounds and compression	2019-08-07	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
Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction	2014-09-26	Paper

Research outcomes over time

This page was built for person: Takayuki Sakai