Sebastian Schenker

Learn More
The SCIP Optimization Suite is a software toolbox for generating and solving various classes of mathematical optimization problems. Its major components are the modeling language ZIMPL, the linear programming solver SoPlex, the constraint integer programming framework and mixed-integer linear and nonlinear programming solver SCIP, the UG framework for(More)
Simple unmodified N-proline-based di- and tripeptides in combination with sodium hydroxide additive catalyze the asymmetric Michael reaction of ketones with nitroolefins to furnish the corresponding gamma-nitroketones with up to 99% yield, 99:1 dr and 70% ee at room temperature and on water without any organic cosolvent.
The performance of computationally accessible levels of calculation for the transition states of organocatalytic reaction has been assessed. Reference post-Hartree-Fock single point energy calculations were used as standards for the gas-phase Born-Oppenheimer relative energies of pairs of alternative transition states that lead to the two product(More)
BINOL-derived phosphoric acids have emerged during the last five years as powerful chiral Brønsted acid catalysts in many enantioselective processes. The most successful transformations carried out with chiral BINOL phosphates include C-C bond formation reactions. The recent advances have been reviewed in this article with a focus being placed on(More)
The SCIP Optimization Suite is a powerful collection of optimization software that consists of the branch-cut-and-price framework and mixed-integer programming solver SCIP, the linear programming solver SoPlex, the modeling language Zimpl, the parallelization framework UG, and the generic branch-cut-and-price solver GCG. Additionally, it features the(More)
A new guanidine-thiourea organocatalyst has been developed and applied as bifunctional organocatalyst in the Michael addition reaction of diethyl malonate to trans-β-nitrostyrene. Extensive DFT calculations, including solvent effects and dispersion corrections, as well as ab initio calculations provide a plausible description of the reaction mechanism.
This formulation is so compact since it basically consists of only one constraint. This constraint is repeated |E| times with different variables, which we can easily express with the ∀ quantification. However, the popular .lp format, which is interpreted by many state-of-the-art ILP solvers such as Gurobi or Mosek, requires to explicitly write down every(More)
  • 1