7 citations · 10 across the 2 of their papers we have counts for
3 papers
cs.CC2012
How to solve kSAT in polynomial time
Algirdas Antano Maknickas
With using of multi-nary logic analytic formulas proposition that "kSAT is in P and could be solved in " was proved
cs.CC2010★ 3 cited
Finding of k in Fagin's R. Theorem 24
Algirdas Antano Maknickas
By using of analytical multi-logic expresses in conjunction with non-deterministic Turing machine the proposition was proved that algorithm of deterministic Turing counter machine…
physics.gen-ph2010★ 7 cited
Biefeld-Brown effect and space curvature of electromagnetic field
Maknickas Algirdas Antano
With applying of new proposed electromagnetic gravity Lagrangian together with Einstein-Hilbert equation not zero space curvature was derived. The curvature gives "a priory" postul…