Search results for "Solvers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
90	Paul W. Purdom, Daniel Le Berre, Laurent Simon	A parsimony tree for the SAT2002 competition.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	empirical evaluation, parsimony, Boolean satisfiability (SAT)
77	Murat Manguoglu, Ahmed H. Sameh, Olaf Schenk	PSPIKE: A Parallel Hybrid Sparse Linear System Solver.	Euro-Par	2009	DBLP DOI BibTeX RDF	Hybrid Solvers, Sparse Linear Systems, Krylov Subspace Methods, Direct Solvers
58	Bernd Becker 0001, Valeria Bertacco, Rolf Drechsler, Masahiro Fujita	09461 Abstracts Collection - Algorithms and Applications for Next Generation SAT Solvers.	Algorithms and Applications for Next Generation SAT Solvers	2009	DBLP BibTeX RDF
56	Hung V. Nguyen, Jing-Ru C. Cheng, Robert S. Maier 0002	Study of Parallel Linear Solvers for Three-Dimensional Subsurface Flow Problems.	ICCS (1)	2009	DBLP DOI BibTeX RDF	Sparse parallel solvers, PETSc, Hypre, finite element, iterative solvers
53	Shuvendu K. Lahiri, Shaz Qadeer	Back to the future: revisiting precise program verification using SMT solvers.	POPL	2008	DBLP DOI BibTeX RDF	heap-manipulating programs, software verification, decision procedures, reachability, linked lists, SMT solvers
53	Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur	Extending arbitrary solvers with constraint handling rules.	PPDP	2003	DBLP DOI BibTeX RDF	compilation, constraint solvers, constraint handling rules
53	Patrick Amestoy, Iain S. Duff, Jean-Yves L'Excellent, Xiaoye S. Li	Analysis and comparison of two general sparse solvers for distributed memory computers.	ACM Trans. Math. Softw.	2001	DBLP DOI BibTeX RDF	Sparse direct solvers, multifrontal and supernodal factorizations, parallelism, distributed-memory computers
51	Abhijeet Gaikwad, Ioane Muni Toke	GPU based sparse grid technique for solving multidimensional options pricing PDEs.	SC-WHPCF	2009	DBLP DOI BibTeX RDF	conjugate gradient squared, multidimensional option pricing, sparse linear iterative solvers, stabilized biconjugate gradient, iterative solvers, NVIDIA CUDA
49	Marzio Sala, William F. Spotz, Michael A. Heroux	PyTrilinos: High-performance distributed-memory solvers for Python.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	multilevel preconditioners, nonlinear solvers, Object-oriented programming, script languages, direct solvers
49	Franc Brglez, Xiao Yu Li, Matthias F. M. Stallmann	On SAT instance classes and a method for reliable performance experiments with SAT solvers.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	exponential and heavy-tail distributions, reliability function, satisfiability, experimental design, equivalence classes, conjunctive normal form
47	Bernd Becker 0001, V. Bertacoo, Rolf Drechsler, Masahiro Fujita (eds.)	Algorithms and Applications for Next Generation SAT Solvers, 08.11. - 13.11.2009	Algorithms and Applications for Next Generation SAT Solvers	2009	DBLP BibTeX RDF
47	Daniel Große, Hoang Minh Le 0001, Rolf Drechsler	Formal Verification of Abstract SystemC Models.	Algorithms and Applications for Next Generation SAT Solvers	2009	DBLP BibTeX RDF
47	Martin Gogolla	Towards Model Validation and Verification with SAT Techniques.	Algorithms and Applications for Next Generation SAT Solvers	2009	DBLP BibTeX RDF
47	Markus Wedler, Evgeny Pavlenko, Alexander Dreyer, Frank Seelisch, Dominik Stoffel, Gert-Martin Greuel, Wolfgang Kunz	Solving hard instances in QF-BV combining Boolean reasoning with computer algebra.	Algorithms and Applications for Next Generation SAT Solvers	2009	DBLP BibTeX RDF
47	Erika Ábrahám, Ulrich Loup	SMT-Solving for the First-Order Theory of the Reals.	Algorithms and Applications for Next Generation SAT Solvers	2009	DBLP BibTeX RDF
47	Robert Wille, Jean Christoph Jung, André Sülflow, Rolf Drechsler	SWORD - Module-based SAT Solving.	Algorithms and Applications for Next Generation SAT Solvers	2009	DBLP BibTeX RDF
46	Jennifer A. Scott, Yifan Hu 0001	Experiences of sparse direct symmetric solvers.	ACM Trans. Math. Softw.	2007	DBLP DOI BibTeX RDF	symmetric linear systems, software development, Sparse matrices, direct solvers
46	Nicholas I. M. Gould, Jennifer A. Scott, Yifan Hu 0001	A numerical evaluation of sparse direct solvers for the solution of large sparse symmetric linear systems of equations.	ACM Trans. Math. Softw.	2007	DBLP DOI BibTeX RDF	symmetric linear systems, software, Sparse matrices, Gaussian elimination, direct solvers
46	Babak Hamidzadeh, Shashi Shekhar	Specification and Analysis of Real-time Problem Solvers.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	real-time artificial intelligence, real-time problem, real-time AI problem solvers, DYNORAII, RTA*, real-time path planning problem, deadline compliance, response-time minimization, real-time systems, computational complexity, formal specification, formal specification, problem solving, path planning, average-case complexity
45	Leonardo Mendonça de Moura, Bruno Dutertre, Natarajan Shankar	A Tutorial on Satisfiability Modulo Theories.	CAV	2007	DBLP DOI BibTeX RDF
43	Walter Krämer, Michael Zimmer 0002	Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	AMS subject classification 65H10, 15-04, 65G10, 65-04, 68W15, 65G99
43	José Carlos Sancho, Darren J. Kerbyson	Improving the Performance of Multiple Conjugate Gradient Solvers by Exploiting Overlap.	Euro-Par	2008	DBLP DOI BibTeX RDF
43	Zuzana Kukelova, Martin Bujnak, Tomás Pajdla	Automatic Generator of Minimal Problem Solvers.	ECCV (3)	2008	DBLP DOI BibTeX RDF
43	Yinlei Yu, Cameron Brien, Sharad Malik	Exploiting Circuit Reconvergence through Static Learning in CNF SAT Solvers.	VLSI Design	2008	DBLP DOI BibTeX RDF
43	Emmanuel Leriche, E. Perchat, Gérard Labrosse, Michel O. Deville	Numerical Evaluation of the Accuracy and Stability Properties of High-order Direct Stokes Solvers with or without Temporal Splitting.	J. Sci. Comput.	2006	DBLP DOI BibTeX RDF	decoupling methods, temporal splitting methods, spectral Chebyshev and Legendre approximation, Stokes equations
43	Inês Lynce, João Marques-Silva 0001	Efficient data structures for backtrack search SAT solvers.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	backtrack search, propositional satisfiability
43	Daniel Le Berre, Laurent Simon	Fifty-Five Solvers in Vancouver: The SAT 2004 Competition.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
43	Sanjukta Bhowmick, Lois C. McInnes, Boyana Norris, Padma Raghavan	The Role of Multi-method Linear Solvers in PDE-based Simulations.	ICCSA (1)	2003	DBLP DOI BibTeX RDF
43	Slim Abdennadher, Thom W. Frühwirth	Integration and Optimization of Rule-Based Constraint Solvers.	LOPSTR	2003	DBLP DOI BibTeX RDF
42	Nicholas I. M. Gould, Jennifer A. Scott	A numerical evaluation of HSL packages for the direct solution of large sparse, symmetric linear systems of equations.	ACM Trans. Math. Softw.	2004	DBLP DOI BibTeX RDF	symmetric linear systems, software, sparse matrices, Gaussian elimination, Direct solvers
40	Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli	Evaluating ASP and Commercial Solvers on the CSPLib.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Declarative constraint modelling, Problem reformulation, Experimental evaluation among solvers, OPL, Constraint programming, Answer Set Programming
40	Josep Argelich, Felip Manyà	Exact Max-SAT solvers for over-constrained problems.	J. Heuristics	2006	DBLP DOI BibTeX RDF	Soft constraints, Solvers, Max-SAT
40	Xian-He Sun, Stuti Moitra	Performance measurement and comparison of a set of parallel periodic and non-periodic tridiagonal solvers.	ISPAN	1996	DBLP DOI BibTeX RDF	tridiagonal solvers, parallel partition LU algorithm, parallel diagonal dominant algorithm, reduced diagonal dominant algorithm, problem sizes, performance evaluation, performance, parallel algorithms, computational complexity, distributed memory systems, matrix algebra, speedup, distributed-memory machines, Intel Paragon, IBM SP2
38	William R. Harris, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta	Program analysis via satisfiability modulo path programs.	POPL	2010	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, symbolic execution, path sensitivity, smt solvers, satisfiability solvers
38	Alexandra Goultiaeva, Vicki Iverson, Fahiem Bacchus	Beyond CNF: A Circuit-Based QBF Solver.	SAT	2009	DBLP DOI BibTeX RDF
38	Horst Samulowitz, Fahiem Bacchus	Dynamically Partitioning for Solving QBF.	SAT	2007	DBLP DOI BibTeX RDF
38	Peter Hawkins, Peter J. Stuckey	A Hybrid BDD and SAT Finite Domain Constraint Solver.	PADL	2006	DBLP DOI BibTeX RDF
38	Guoqiang Pan, Moshe Y. Vardi	Symbolic Decision Procedures for QBF.	CP	2004	DBLP DOI BibTeX RDF
38	Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva 0001	Heuristic Backtracking Algorithms for SAT.	MTV	2003	DBLP DOI BibTeX RDF
37	Knot Pipatsrisawat, Adnan Darwiche	Width-Based Restart Policies for Clause-Learning Satisfiability Solvers.	SAT	2009	DBLP DOI BibTeX RDF
37	Knot Pipatsrisawat, Adnan Darwiche	On the Power of Clause-Learning SAT Solvers with Restarts.	CP	2009	DBLP DOI BibTeX RDF
37	Fernando J. Barros	Comparing Synchronous and Asynchronous Variable Step Size Explicit ODE Solvers: A Simulation Study.	PADS	2007	DBLP DOI BibTeX RDF
37	Franc Brglez, Jason A. Osborne	Performance testing of combinatorial solvers with isomorph class instances.	Experimental Computer Science	2007	DBLP DOI BibTeX RDF	scientific method
37	Cameron Brien, Sharad Malik	Understanding the Dynamic Behavior of Modern DPLL SAT Solvers through Visual Analysis.	FMCAD	2006	DBLP DOI BibTeX RDF
37	Emmanuel Zarpas	Benchmarking SAT Solvers for Bounded Model Checking.	SAT	2005	DBLP DOI BibTeX RDF
37	Chu Min Li, Felip Manyà, Jordi Planes	Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers.	CP	2005	DBLP DOI BibTeX RDF
37	Daniel Le Berre, Laurent Simon, Armando Tacchella	Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers.	SAT	2003	DBLP DOI BibTeX RDF
37	Lintao Zhang, Sharad Malik	Cache Performance of SAT Solvers: a Case Study for Efficient Implementation of Algorithms.	SAT	2003	DBLP DOI BibTeX RDF
37	Chih Jeng Kenneth Tan, David Hagan, Matthew F. Dixon	A Performance Comparison of Matrix Solvers on Compaq Alpha, Intel Itanium, and Intel Itanium II Processors.	ICCSA (1)	2003	DBLP DOI BibTeX RDF	Systems of linear algebraic equations, Architecture specific tuning, Linear solver
37	Evgueni Petrov, Éric Monfroy	Automatic Analysis of Composite Solvers.	ICTAI	2002	DBLP DOI BibTeX RDF
37	Per Bjesse, Tim Leonard, Abdel Mokkedem	Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers.	CAV	2001	DBLP DOI BibTeX RDF
35	Anshul Gupta	Recent advances in direct methods for solving unsymmetric sparse systems of linear equations.	ACM Trans. Math. Softw.	2002	DBLP DOI BibTeX RDF	Parallel Sparse Solvers, Sparse LU Decomposition, Sparse Matrix Factorization, Multifrontal Method
33	K. Rustan M. Leino, Rosemary Monahan	Reasoning about comprehensions with first-order SMT solvers.	SAC	2009	DBLP DOI BibTeX RDF	Spec#, matching triggers, quantifiers, SMT solvers
33	Enrico Bertolazzi, Gianmarco Manzini	Algorithm 817 P2MESH: generic object-oriented interface between 2-D unstructured meshes and FEM/FVM-based PDE solvers.	ACM Trans. Math. Softw.	2002	DBLP DOI BibTeX RDF	PDE solvers, Object-Oriented programming, Finite Element, unstructured mesh, Finite Volume
33	Philippe Refalo	Linear Formulation of Constraint Programming Models and Hybrid Solvers.	CP	2000	DBLP DOI BibTeX RDF	linear formulation, hybrid solvers, global constraints
33	Hong Q. Ding, Robert D. Ferraro	A general purpose sparse matrix parallel solvers package.	IPPS	1995	DBLP DOI BibTeX RDF	general purpose sparse matrix parallel solvers package, sparse symmetric complex linear systems, discretised partial differential equations, data interface, bi-conjugate gradient solver, two-stage Cholesky LDL/sup T/ factorization, hybrid solver, local matrices, local mesh partitions, scaling problem, Intel Delt, user interfaces, parallel processing, partial differential equations, processor, linear systems, sparse matrices, conjugate gradient methods, software packages, unstructured meshes, unified user interface
33	David S. Burris, Kurt A. Schember	Table-driven problem solvers.	ACM Southeast Regional Conference	1980	DBLP DOI BibTeX RDF	table-driven problem solvers, finite automata, Decision Tables
32	Daniel Jackson 0001	Automating first-order relational logic.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF	model finding, relational logic, first-order logic, object models, SAT solvers, constraint solvers, Z specification, automatic analysis
32	Jos Stam	Stable Fluids.	SIGGRAPH	1999	DBLP DOI BibTeX RDF	advected textures, animation of fluids, implicit elliptic PDE solvers, stable solvers, interactive modeling, Navier-Stokes, gaseous phenomena
32	Fang Liu 0028, Masha Sosonkina, Randall Bramley	A HPC sparse solver interface for scalable multilevel methods.	SpringSim	2009	DBLP DOI BibTeX RDF	component architecture and interfaces, sparse matrix computations
32	Ilkka Niemelä	Integrating Answer Set Programming and Satisfiability Modulo Theories.	LPNMR	2009	DBLP DOI BibTeX RDF
32	Albert Atserias, Johannes Klaus Fichte, Marc Thurley	Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution.	SAT	2009	DBLP DOI BibTeX RDF
32	Florian Letombe, João Marques-Silva 0001	Improvements to Hybrid Incremental SAT Algorithms.	SAT	2008	DBLP DOI BibTeX RDF
32	Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov	Solution and Optimization of Systems of Pseudo-Boolean Constraints.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Pseudo Boolean (PB), Max-ONE, Global Routing, Conjunctive Normal Form (CNF), Backtrack Search, Integer Linear Programming (ILP), Max-SAT, Boolean Satisfiability (SAT)
32	Ashish Sabharwal, Carlos Ansótegui, Carla P. Gomes, Justin W. Hart, Bart Selman	QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency.	SAT	2006	DBLP DOI BibTeX RDF
32	Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva 0001	Heuristic-Based Backtracking Relaxation for Propositional Satisfiability.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF
32	Lengning Liu, Miroslaw Truszczynski	Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints.	CP	2003	DBLP DOI BibTeX RDF
32	Ateet Bhalla, Inês Lynce, José T. de Sousa, João Marques-Silva 0001	Heuristic-Based Backtracking for Propositional Satisfiability.	EPIA	2003	DBLP DOI BibTeX RDF
32	Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani	Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements.	AISC	2002	DBLP DOI BibTeX RDF
30	Jin Shi, Yici Cai	Scaling power/ground solvers on multi-core with memory bandwidth awareness.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	power/ground solver, multi-core
30	Ioannis Koutis, Gary L. Miller, David Tolliver	Combinatorial Preconditioners and Multilevel Solvers for Problems in Computer Vision and Image Processing.	ISVC (1)	2009	DBLP DOI BibTeX RDF
30	Andrew John Sadler, Carmen Gervet	Enhancing set constraint solvers with lexicographic bounds.	J. Heuristics	2008	DBLP DOI BibTeX RDF	Artificial intelligence, Constraint programming, Modelling languages
30	Michal Moskal	Rocket-Fast Proof Checking for SMT Solvers.	TACAS	2008	DBLP DOI BibTeX RDF
30	Josep Argelich, Felip Manyà	Partial Max-SAT Solvers with Clause Learning.	SAT	2007	DBLP DOI BibTeX RDF
30	Chang F. Quo, May D. Wang	Quantitative Comparison of Numerical Solvers for Models of Oscillatory Biochemical Systems.	IMSCCS	2007	DBLP DOI BibTeX RDF
30	Slim Abdennadher, Ingi Sobhi	Generation of Rule-Based Constraint Solvers: Combined Approach.	LOPSTR	2007	DBLP DOI BibTeX RDF
30	Sava Krstic, Amit Goel	Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL.	FroCoS	2007	DBLP DOI BibTeX RDF
30	Alessandro Cimatti, Roberto Sebastiani	Building Efficient Decision Procedures on Top of SAT Solvers.	SFM	2006	DBLP DOI BibTeX RDF
30	Paola Belardini, Claudio Bertoli, Stefania Corsaro, Pasqua D'Ambra	The Impact of Different Stiff ODE Solvers in Parallel Simulation of Diesel Combustion.	HPCC	2005	DBLP DOI BibTeX RDF
30	Jennifer A. Scott, Yifan Hu 0001, Nicholas I. M. Gould	An Evaluation of Sparse Direct Symmetric Solvers: An Introduction and Preliminary Findings.	PARA	2004	DBLP DOI BibTeX RDF
30	Daniel Le Berre, Massimo Narizzano, Laurent Simon, Armando Tacchella	The Second QBF Solvers Comparative Evaluation.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
30	Kenneth L. McMillan	Methods for exploiting SAT solvers in unbounded model checking.	MEMOCODE	2003	DBLP DOI BibTeX RDF
30	Qingguang Huang, Jingling Xue, Xavier Vera	Code Tiling for Improving the Cache Performance of PDE Solvers.	ICPP	2003	DBLP DOI BibTeX RDF
30	Volker John, Petr Knobloch, Gunar Matthies, Lutz Tobiska	Non-Nested Multi-Level Solvers for Finite Element Discretisations of Mixed Problems.	Computing	2002	DBLP DOI BibTeX RDF	76D07, 65N30, AMS Subject Classifications: 65N55
30	Per Bjesse	Industrial Model Checking Based on Satisfiability Solvers.	SPIN	2002	DBLP DOI BibTeX RDF
30	Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur	Building Constraint Solvers with HAL.	ICLP	2001	DBLP DOI BibTeX RDF
30	Anshul Gupta	Recent Progress in General Sparse Direct Solvers.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
30	Yoshihiro Adachi	Intellisheet: A Spreadsheet System Expanded by Including Constraint Solvers.	HCC	2001	DBLP DOI BibTeX RDF	end-user programming environment, constraint programming, spreadsheet, declarative programming
30	Petra Hofstedt	Cooperating Constraint Solvers.	CP	2000	DBLP DOI BibTeX RDF
30	Peter J. Stuckey, Vincent W. L. Tam	Models for Using Stochastic Constraint Solvers in Constraint Logic Programming.	PLILP	1996	DBLP DOI BibTeX RDF
30	Elliot L. Linzer	Can Symmetric Toeplitz Solvers be Strongly Stable?	ISTCS	1992	DBLP DOI BibTeX RDF
29	Nicolas T. Courtois, Sean O'Neil, Jean-Jacques Quisquater	Practical Algebraic Attacks on the Hitag2 Stream Cipher.	ISC	2009	DBLP DOI BibTeX RDF	Hitag 2 algorithm, MiFare Crypto-1 cipher, Gröbner bases, Boolean functions, stream ciphers, RFID tags, SAT solvers, algebraic cryptanalysis
29	Alexander Kleymenov, Alexander Semenov	Using a Cooperative Solving Approach to Global Optimization Problems.	COCOS	2003	DBLP DOI BibTeX RDF	cooperative solvers, interval mathematics, interval constraint programming, distributive computations, global optimizations
28	Alessandro Armando, Jacopo Mantovani, Lorenzo Platania	Bounded model checking of software using SMT solvers instead of SAT solvers.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
28	Alessandro Armando, Jacopo Mantovani, Lorenzo Platania	Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers.	SPIN	2006	DBLP DOI BibTeX RDF
27	Dominik Göddeke, Robert Strzodka	Cyclic Reduction Tridiagonal Solvers on GPUs Applied to Mixed-Precision Multigrid.	IEEE Trans. Parallel Distributed Syst.	2011	DBLP DOI BibTeX RDF	mixed-precision iterative refinement, tridiagonal solvers, cyclic reduction, finite elements, multigrid, GPU Computing, NVIDIA CUDA
27	Abhijeet Gaikwad, Ioane Muni Toke	Parallel Iterative Linear Solvers on GPU: A Financial Engineering Case.	PDP	2010	DBLP DOI BibTeX RDF	Sparse linear iterative solvers, parallel computing, GPU, computational finance
27	Slim Abdennadher, Christophe Rigotti	Automatic generation of rule-based constraint solvers over finite domains.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Rule-based constraint programming, generation of solvers, finite domains
27	Vicente Blanco Pérez, Patricia González, José Carlos Cabaleiro, Dora Blanco Heras, Tomás F. Pena, Juan J. Pombo, Francisco F. Rivera	Performance Prediction for Parallel Iterative Solvers.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	parallel iterative solvers, sparse algebra, MPI, performance prediction, HPF
27	Eunice E. Santos	Optimal and Efficient Parallel Tridiagonal Solvers Using Direct Methods.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	tridiagonal solvers, parallel algorithms, linear algebra, parallel complexity, direct methods, LogP model