Search Results for author: Christoph Wintersteiger

Found 2 papers, 0 papers with code

Relating Complexity-theoretic Parameters with SAT Solver Performance

no code implementations26 Jun 2017 Edward Zulkoski, Ruben Martins, Christoph Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki, Vijay Ganesh

Over the years complexity theorists have proposed many structural parameters to explain the surprising efficiency of conflict-driven clause-learning (CDCL) SAT solvers on a wide variety of large industrial Boolean instances.

Convergence analysis of some tent-based schemes for linear hyperbolic systems

no code implementations12 Jan 2021 Dow Drake, Jay Gopalakrishnan, Joachim Schöberl, Christoph Wintersteiger

Finite element methods for symmetric linear hyperbolic systems using unstructured advancing fronts (satisfying a causality condition) are considered in this work.

Numerical Analysis Numerical Analysis 65M12, 65M15, 65M60

Cannot find the paper you are looking for? You can Submit a new open access paper.