TOWARD AN AUTOMATON CONSTRAINT FOR LOCAL SEARCH

We explore the idea of using finite automata to implement new constraints for local search (this is already a successful technique in constraint-based global Bread search).We show how it is possible to maintain incrementally the violations of a constraint and its decision variables from an automaton that describes a ground checker for that constrai

In this work, we investigate black hole (BH) physics in the context of quantum corrections.These quantum corrections were introduced recently by replacing classical geodesics with quantal (Bohmian) trajectories and hence form a quantum Raychaudhuri equation (QRE).From the QRE, we derive a modified Schwarzschild metric, and use that metric to invest