no code implementations • 12 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
no code implementations • 26 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.