Reducibility

14,000,000 Leading Edge Experts on the ideXlab platform

Scan Science and Technology

Contact Leading Edge Experts & Companies

Scan Science and Technology

Contact Leading Edge Experts & Companies

The Experts below are selected from a list of 18945 Experts worldwide ranked by ideXlab platform

Victor G Kac - One of the best experts on this subject based on the ideXlab platform.

Maria Gorelik - One of the best experts on this subject based on the ideXlab platform.

Louise Hay - One of the best experts on this subject based on the ideXlab platform.

  • on truth table Reducibility to sat
    Information & Computation, 1991
    Co-Authors: Samuel R Buss, Louise Hay
    Abstract:

    We show that polynomial time truth-table Reducibility via Boolean circuits to SAT is the same as logspace truth-table Reducibility via Boolean formulas to SAT and the same as logspace Turing Reducibility to SAT. In addition, we prove that a constant number of rounds of parallel queries to SAT is equivalent to one round of parallel queries. We give an oracle relative to which Δ2p is not equal to the class of predicates polynomial time truth-table reducible to SAT.

Samuel R Buss - One of the best experts on this subject based on the ideXlab platform.

  • on truth table Reducibility to sat
    Information & Computation, 1991
    Co-Authors: Samuel R Buss, Louise Hay
    Abstract:

    We show that polynomial time truth-table Reducibility via Boolean circuits to SAT is the same as logspace truth-table Reducibility via Boolean formulas to SAT and the same as logspace Turing Reducibility to SAT. In addition, we prove that a constant number of rounds of parallel queries to SAT is equivalent to one round of parallel queries. We give an oracle relative to which Δ2p is not equal to the class of predicates polynomial time truth-table reducible to SAT.

Harry L Tuller - One of the best experts on this subject based on the ideXlab platform.

  • structural characterization and oxygen nonstoichiometry of ceria zirconia ce1 xzrxo2 δ solid solutions
    Acta Materialia, 2013
    Co-Authors: Melanie Kuhn, Sean R Bishop, Jennifer L M Rupp, Harry L Tuller
    Abstract:

    Abstract The oxygen nonstoichiometry and crystalline structure of ceria-zirconia Ce1−xZrxO2−δ (CZO) (x = 0.05, 0.1, 0.2, 0.5, and 0.8) solid solutions, commercially used as oxygen storage materials, have been examined using thermogravimetry, X-ray diffraction, and Raman spectroscopy. In this study detailed data describing oxygen vacancy concentrations, obtained at intermediate to high pO2, are interpreted with the aid of point defect equilibria relationships. For cubic CZO (x ⩽ 0.2), the ease of Reducibility dramatically increased with increasing Zr content, as reflected by an ultimate >40% decrease in reduction enthalpy, with a corresponding shift in onset of reduction to higher pO2. The impact of pre-existing oxygen vacancies on the larger reduction enthalpy found for Y doped CZO, as compared with this study, is discussed, as is evidence that Zr increases the electron migration energy in ceria by 50%. The Reducibility of tetragonal CZO (x > 0.2) was found to increase following redox cycling. This enhanced Reducibility is believed to be related to ordering and is partially negated by a high temperature (1000 °C) heat treatment.