Loading…
Loading…
Loading…
Loading…
Loading…
Evaluation of two-phase flow solvers using Level Set and Volume of Fluid methods
Bilger, C., Aboukhedr, M., Vogiatzaki, K., Cant, R.S.
Published in Journal of computational physics (15.09.2017)
Published in Journal of computational physics (15.09.2017)
Get full text
Journal Article
Loading…
Accurate implementation of two-level asynchronous domain decomposition solvers
Gbikpi-Benissan, G., Magoules, Frederic
Published in Advances in engineering software (1992) (01.07.2024)
Published in Advances in engineering software (1992) (01.07.2024)
Get full text
Journal Article
Loading…
Runtime-Coherence Tradeoffs for Hybrid Satisfiability Solvers
Eshaghian, Vahideh, Wilkening, Soren, Aberg, Johan, Gross, David
Published in IEEE transactions on quantum engineering (2025)
Published in IEEE transactions on quantum engineering (2025)
Get full text
Journal Article
Loading…
Does joint impedance improve dynamic leg simulations with explicit and implicit solvers?
Bahdasariants, Serhii, Barela, Ana Maria Forti, Gritsenko, Valeriya, Bacca, Odair, Barela, José Angelo, Yakovenko, Sergiy
Published in PloS one (03.07.2023)
Published in PloS one (03.07.2023)
Get full text
Journal Article
Loading…
Solving the Workflow Satisfiability Problem using General Purpose Solvers
Karapetyan, Daniel, Gutin, Gregory
Published in IEEE transactions on dependable and secure computing (01.11.2023)
Published in IEEE transactions on dependable and secure computing (01.11.2023)
Get full text
Journal Article
Loading…
Loading…
Evaluating state-of-the-art # SAT solvers on industrial configuration spaces
Sundermann, Chico, Heß, Tobias, Nieke, Michael, Bittner, Paul Maximilian, Young, Jeffrey M., Thüm, Thomas, Schaefer, Ina
Published in Empirical software engineering : an international journal (01.03.2023)
Published in Empirical software engineering : an international journal (01.03.2023)
Get full text
Journal Article
Loading…
Loading…
Reordering Strategy for Blocking Optimization in Sparse Linear Solvers
Pichon, Gregoire, Faverge, Mathieu, Ramet, Pierre, Roman, Jean
Published in SIAM journal on matrix analysis and applications (01.01.2017)
Published in SIAM journal on matrix analysis and applications (01.01.2017)
Get full text
Journal Article
Loading…
Loading…
A Sparse ADMM-Based Solver for Linear MPC Subject to Terminal Quadratic Constraint
Krupa, Pablo, Jaouani, Rim, Limon, Daniel, Alamo, Teodoro
Published in IEEE transactions on control systems technology (01.11.2024)
Published in IEEE transactions on control systems technology (01.11.2024)
Get full text
Journal Article
Loading…