76 citations · 207 across the 31 of their papers we have counts for
4 papers · 1 filter
Addition Machines, Automatic Functions and Open Problems of Floyd and Knuth
Sanjay Jain, Xiaodong Jia, Ammar Fathin Sabili +1
Floyd and Knuth investigated in 1990 register machines which can add, subtract and compare integers as primitive operations. They asked whether their current bound on the number of…
Alternating Automatic Register Machines
Ziyuan Gao, Sanjay Jain, Zeyong Li +2
This paper introduces and studies a new model of computation called an Alternating Automatic Register Machine (AARM). An AARM possesses the basic features of a conventional registe…
Ordered Semiautomatic Rings with Applications to Geometry
Ziyuan Gao, Sanjay Jain, Ji Qi +3
The present work looks at semiautomatic rings with automatic addition and comparisons which are dense subrings of the real numbers and asks how these can be used to represent geome…
Improved Algorithms for the General Exact Satisfiability Problem
Gordon Hoi, Frank Stephan
The Exact Satisfiability problem asks if we can find a satisfying assignment to each clause such that exactly one literal in each clause is assigned , while the rest are all ass…