Gordon Hoi

According to our database, Gordon Hoi authored at least 11 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Bisection Approach to Subcubic Maximum Induced Matching.

Gordon Hoi, Sanjay Jain, Ammar Fathin Sabili, Frank Stephan

Proceedings of the WALCOM: Algorithms and Computation, 2024

2023

Languages given by Finite Automata over the Unary Alphabet.

Gordon Hoi, Sanjay Jain, Frank Stephan, Christopher Tan

CoRR, 2023

Languages Given by Finite Automata over the Unary Alphabet.

Wojciech Czerwinski, Maciej Debski, Tomasz Gogasz, Gordon Hoi, Sanjay Jain, Michal Skrzypczak, Frank Stephan, Christopher Tan

Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

2022

An Exact Algorithm for finding Maximum Induced Matching in Subcubic Graphs.

Gordon Hoi, Ammar Fathin Sabili, Frank Stephan

CoRR, 2022

2021

Improved algorithms for the general exact satisfiability problem.

Gordon Hoi, Frank Stephan

Theor. Comput. Sci., 2021

2020

A Faster Exact Algorithm to Count X3SAT Solutions.

Gordon Hoi, Sanjay Jain, Frank Stephan

Proceedings of the Principles and Practice of Constraint Programming, 2020

An Improved Exact Algorithm for the Exact Satisfiability Problem.

Gordon Hoi

Proceedings of the Combinatorial Optimization and Applications, 2020

2019

Exact Satisfiabitity with Jokers.

Gordon Hoi, Sanjay Jain, Sibylle Schwarz, Frank Stephan

Proceedings of the Theory and Applications of Models of Computation, 2019

Measure and Conquer for Max Hamming Distance XSAT.

Gordon Hoi, Frank Stephan

Proceedings of the 30th International Symposium on Algorithms and Computation, 2019

A Fast Exponential Time Algorithm for Max Hamming Distance X3SAT.

Gordon Hoi, Sanjay Jain, Frank Stephan

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019

2015

Partial functions and domination.

C. T. Chong, Gordon Hoi, Frank Stephan, Daniel Turetsky

Log. Methods Comput. Sci., 2015