نتایج جستجو برای: bit planes

تعداد نتایج: 76662  

Journal: :Electronic Colloquium on Computational Complexity (ECCC) 2017
Paul Beame Noah Fleming Russell Impagliazzo Antonina Kolokolova Denis Pankratov Toniann Pitassi Robert Robere

We introduce and develop a new semi-algebraic proof system, called Stabbing Planes that is in the style of DPLL-based modern SAT solvers. As with DPLL, there is only one rule: the current polytope can be subdivided by branching on an inequality and its “integer negation.” That is, we can (nondeterministically choose) a hyperplane ax ≥ b with integer coefficients, which partitions the polytope i...

1995
Bruce Hunt

A plane is a two-dimensional right vector space V over a division algebra D, which we assume in this paper has an involution; a hermitian form h : V × V −→ D is hyperbolic, if, with respect to a properly choosen basis, it is given by the matrix 0 1 1 0 ) ; the pair (V, h) is called a hyperbolic plane. If D is central simple over a number field K, a hyperbolic plane (V, h) gives rise to a reduct...

Journal: :Inventiones mathematicae 2007

Journal: :Discrete Mathematics 1973

Journal: :Salud Colectiva 2019

Journal: :Gaceta Sanitaria 1999

Journal: :Proceedings of the American Mathematical Society 1975

Journal: :European Journal of Combinatorics 2010

Journal: :Journal of Mathematical Physics 1996

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید