Andrew Johnson  Andrew Johnson photo         

contact information

IBM Watson IoT Platform development.
IBM Hursley
  

links

Professional Associations

Professional Associations:  The Institution of Engineering and Technology (IET)


2019

Solving Hamiltonian Cycle problems using Boolean satisfiability
Andrew Johnson
30th European Conference on Operational Research, 2019
Abstract

Change ringing and Hamiltonian cycles: The search for Erin and Stedman triples
Michael Haythorpe, and Andrew Johnson and
Electronic Journal of Graph Theory and Applications 7(1), 61--75, The Institute for Research and Community Services (LPPM) ITB, 2019
Abstract


2018

Stedman and Erin Triples encoded as a SAT Problem
Andrew Johnson
EasyChair Preprint pp. 673, EasyChair, 2018
Abstract   Preprint paper associate with POS 2018 presentation

Stedman and Erin Triples encoded as a SAT problem
Andrew Johnson
Federated Logic Conference 2018: Pragmatics of SAT
Abstract


2017

Change Ringing and Hamiltonian Cycles: The Search for Erin and Stedman Triples
Haythorpe, Michael and Johnson, Andrew
arXiv preprint arXiv:1702.02623 [math.co], 2017
Abstract


2014

Quasi-linear reduction of Hamiltonian Cycle Problem (HCP) to Satisfiability Problem (SAT)
Andrew Johnson
The IP.com Prior Art Database pp. IPCOM000237123D, 16, IP.com, 2014
Abstract