[2] viXra:1909.0600 [pdf] submitted on 2019-09-27 08:20:23
Authors: George Rajna
Comments: 51 Pages.
Researchers in the US and UK have uncovered a "pathology" affecting floating-point arithmetic that introduces significant errors when describing systems that are extremely sensitive to their initial conditions. [29] Applying AI know-how to the giant pool of data gathered from the world's leading and most powerful scientific instruments could accelerate the process of scientific discovery. [28] Scientists from the University of Oxford, in collaboration with University of Basel and Lancaster University, have developed an algorithm that can be used to measure quantum dots automatically. [27]
Category: Data Structures and Algorithms
[1] viXra:1909.0067 [pdf] submitted on 2019-09-03 12:14:28
Authors: Ortho Flint, Asanka Wickramasinghe, Jay Brasse, Chris Fowler
Comments: 7 Pages. Proofs and code can be found at polynomial3sat.org
In this paper, we provide a polynomial time (and space), algorithm that determines satisfiability of 3-SAT.
Category: Data Structures and Algorithms