Euclidian geometry in terms of automata theory
Theoretical Computer Science
Reversible parallel computation: an evolving space-model
Theoretical Computer Science
Generation of Primes by a One-Dimensional Real-Time Iterative Array
Journal of the ACM (JACM)
P systems with active membranes: attacking NP-complete problems
Journal of Automata, Languages and Combinatorics
NP problems are tractable in the space of cellular automata in the hyperbolic plane
Theoretical Computer Science
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy
Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
Word problems requiring exponential time(Preliminary Report)
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Guest Column: NP-complete problems and physical reality
ACM SIGACT News
An optical model of computation
Theoretical Computer Science
MapReduce: simplified data processing on large clusters
OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
Abstract Geometrical Computation and Computable Analysis
UC '09 Proceedings of the 8th International Conference on Unconventional Computation
Abstract geometrical computation 4: Small Turing universal signal machines
Theoretical Computer Science
Massively Parallel Automata in Euclidean Space-Time
SASOW '10 Proceedings of the 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop
TAMC'11 Proceedings of the 8th annual conference on Theory and applications of models of computation
Forecasting black holes in abstract geometrical computation is highly unpredictable
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Abstract geometrical computation 7: geometrical accumulations and computably enumerable real numbers
Natural Computing: an international journal
Hi-index | 0.00 |
Abstract geometrical computation can solve hard combinatorial problems efficiently: we showed previously how Q-SAT --the satisfiability problem of quantified boolean formulae-- can be solved in bounded space and time using instance-specific signal machines and fractal parallelization. In this article, we propose an approach for constructing a particular generic machine for the same task. This machine deploys the Map/Reduce paradigm over a discrete fractal structure. Moreover our approach is modular : the machine is constructed by combining modules. In this manner, we can easily create generic machines for solving satifiability variants, such as SAT, #SAT, MAX-SAT.