Masaki Yamamoto

Available identifiers

zbMath Open yamamoto.masakiMaRDI QIDQ378220

List of research outcomes

Publication	Date of Publication	Type
The minimum number of vertices of graphs containing two monochromatic triangles for any edge \(2\)-coloring	2022-02-08	Paper
Compositional Synthesis of Leakage Resilient Programs	2020-08-03	Paper
Approximately counting paths and cycles in a graph	2017-03-15	Paper
An improved constant-time approximation algorithm for maximum~matchings	2015-02-04	Paper
Derandomizing the HSSW algorithm for 3-SAT	2013-11-11	Paper
A combinatorial analysis for the critical clause tree	2013-04-15	Paper
Improved constant-time approximation algorithms for maximum matchings and other optimization problems	2012-11-29	Paper
A polynomial-time perfect sampler for the \(Q\)-Ising with a vertex-independent noise	2011-12-15	Paper
An exact algorithm for the Boolean connectivity problem for \(k\)-CNF	2011-09-12	Paper
Derandomizing HSSW algorithm for 3-SAT	2011-08-17	Paper
On the Boolean connectivity problem for Horn relations	2010-11-25	Paper
An exact algorithm for the Boolean connectivity problem for \(k\)-CNF	2010-09-29	Paper
Average-case analysis for the MAX-2SAT problem	2010-04-15	Paper
An improved exact algorithm for the domatic number problem	2010-01-29	Paper
A Polynomial-Time Perfect Sampler for the Q-Ising with a Vertex-Independent Noise	2009-07-23	Paper
On the Boolean Connectivity Problem for Horn Relations	2009-03-10	Paper
A Spectral Method for MAX2SAT in the Planted Solution Model	2008-05-27	Paper
Average-Case Analysis for the MAX-2SAT Problem	2007-09-04	Paper
Algorithms and Computation	2006-11-14	Paper
Generating instances for MAX2SAT with optimal solutions	2006-10-16	Paper

Research outcomes over time

This page was built for person: Masaki Yamamoto