Masaki Yamamoto

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the initial transition of graphs of Kirkman schedules by the partial team swap Journal of Combinatorial Optimization	2025-07-18	Paper
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 Lecture Notes in Computer Science	2020-08-03	Paper
Approximately counting paths and cycles in a graph Discrete Applied Mathematics	2017-03-15	Paper
An improved constant-time approximation algorithm for maximum~matchings Proceedings of the forty-first annual ACM symposium on Theory of computing	2015-02-04	Paper
Derandomizing the HSSW algorithm for 3-SAT Algorithmica	2013-11-11	Paper
A combinatorial analysis for the critical clause tree Theory of Computing Systems	2013-04-15	Paper
Improved constant-time approximation algorithms for maximum matchings and other optimization problems SIAM Journal on Computing	2012-11-29	Paper
A polynomial-time perfect sampler for the \(Q\)-Ising with a vertex-independent noise Journal of Combinatorial Optimization	2011-12-15	Paper
An exact algorithm for the Boolean connectivity problem for k-CNF Theoretical Computer Science	2011-09-12	Paper
Derandomizing HSSW algorithm for 3-SAT Lecture Notes in Computer Science	2011-08-17	Paper
On the Boolean connectivity problem for Horn relations Discrete Applied Mathematics	2010-11-25	Paper
An exact algorithm for the Boolean connectivity problem for \(k\)-CNF Theory and Applications of Satisfiability Testing – SAT 2010	2010-09-29	Paper
Average-case analysis for the MAX-2SAT problem Theoretical Computer Science	2010-04-15	Paper
An improved exact algorithm for the domatic number problem Information Processing Letters	2010-01-29	Paper
A Polynomial-Time Perfect Sampler for the Q-Ising with a Vertex-Independent Noise Lecture Notes in Computer Science	2009-07-23	Paper
On the Boolean Connectivity Problem for Horn Relations Theory and Applications of Satisfiability Testing – SAT 2007	2009-03-10	Paper
A Spectral Method for MAX2SAT in the Planted Solution Model Algorithms and Computation	2008-05-27	Paper
Average-Case Analysis for the MAX-2SAT Problem Lecture Notes in Computer Science	2007-09-04	Paper
Algorithms and Computation Lecture Notes in Computer Science	2006-11-14	Paper
Generating instances for MAX2SAT with optimal solutions Theory of Computing Systems	2006-10-16	Paper

Research outcomes over time

This page was built for person: Masaki Yamamoto