Search results for "solver"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Ivo P. Nenov, Daniel H. Fylstra	Interval Methods for Accelerated Global Search in the Microsoft Excel Solver.	Reliab. Comput.	2003	DBLP DOI BibTeX RDF
21	Robert Ricci, Chris Alfeld, Jay Lepreau	A solver for the network testbed mapping problem.	Comput. Commun. Rev.	2003	DBLP DOI BibTeX RDF
21	Jacek Gondzio, Robert Sarkissian	Parallel interior-point solver for structured linear programs.	Math. Program.	2003	DBLP DOI BibTeX RDF
21	Guoqiang Pan, Moshe Y. Vardi	Optimizing a BDD-Based Modal Solver.	CADE	2003	DBLP DOI BibTeX RDF
21	Abdel Monim Artoli, Drona Kandhai, Huub C. J. Hoefsloot, Alfons G. Hoekstra, Peter M. A. Sloot	Lattice Boltzmann, a Robust and Accurate Solver for Interactive Computational Hemodynamics.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
21	Tamara P. Kashevarova, Alexander L. Semenov	The Use of the Cooperative Solver SibCalc in Modeling of Complex Problems.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
21	Amol Dattatraya Mali, Yevgeny Lipen	MFSAT: A SAT Solver Using Multi-Flip Local Search.	ICTAI	2003	DBLP DOI BibTeX RDF
21	Hsin-Chu Chen, Shinn-Yih Tzeng	A Parallel Solver Using Block Fourier Decompositions.	ISPA	2003	DBLP DOI BibTeX RDF	Block Fourier decomposition, distributed and parallel computation, master-slave model, message-passing interface (MPI), linear system, orthogonal transformation
21	Wahid Chrabakh, Richard Wolski	GridSAT: A Chaff-based Distributed SAT Solver for the Grid.	SC	2003	DBLP DOI BibTeX RDF	ComputationalGrid, Parallel, Distributed, Satisfiability
21	Evguenii I. Goldberg, Yakov Novikov	BerkMin: A Fast and Robust Sat-Solver.	DATE	2002	DBLP DOI BibTeX RDF
21	Pengfei Liu, Kun Li	Programming the Bi-CGSTAB Matrix Solver for HPC and Benchmarking IBM SP3 and Alpha ES40.	IPDPS	2002	DBLP DOI BibTeX RDF
21	N. A. Reis, José T. de Sousa	On Implementing a Configware/Software SAT Solver.	FCCM	2002	DBLP DOI BibTeX RDF
21	Mauro Bianco, Gianfranco Bilardi, Francesco Pesavento, Geppino Pucci, Bernhard A. Schrefler	An Accurate and Efficient Frontal Solver for Fully-Coupled Hygro-Thermo-Mechanical Problems.	International Conference on Computational Science (1)	2002	DBLP DOI BibTeX RDF
21	Mark A. Iwen, Amol Dattatraya Mali	DSatz: A Directional SAT Solver for Planning.	ICTAI	2002	DBLP DOI BibTeX RDF
21	Willy Dörfler, Oleg Iliev, Dimitar Stoyanov, Daniela Vassileva	On a Multigrid Adaptive Refinement Solver for Saturated Non-Newtonian Flow in Porous Media.	Numerical Methods and Application	2002	DBLP DOI BibTeX RDF	nonlinear multigrid, non-Newtonian flow in porous media, adaptive refinement
21	Qun Chen, Michael C. Ferris, Jeff T. Linderoth	FATCOP 2.0: Advanced Features in an Opportunistic Mixed Integer Programming Solver.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	parallel programming, integer programming, PVM, Condor
21	David J. Hardy	The Multigrid N-Body Solver.	International Conference on Computational Science (2)	2001	DBLP DOI BibTeX RDF
21	Manuel Prieto 0001, Rubén S. Montero, Ignacio Martín Llorente, Francisco Tirado	A Multigrid Solver for the Incompressible Navier-Stokes Equations on a Beowulf-Class System.	ICPP	2001	DBLP DOI BibTeX RDF
21	Peter Gottschling, Wolfgang E. Nagel	An Efficient Parallel Linear Solver with a Cascadic Conjugate Gradient Method: Experience with Reality.	Euro-Par	2000	DBLP DOI BibTeX RDF	floating point performance, matrix sparsity pattern, cascadic conjugate gradient method, risc processors
21	Mary Sheeran, Satnam Singh, Gunnar Stålmarck	Checking Safety Properties Using Induction and a SAT-Solver.	FMCAD	2000	DBLP DOI BibTeX RDF
21	Pak K. Chan, Mark J. Boyd, Sezer Gören 0001, K. Klenk, V. Kodavati, R. Kundu, M. Margolese, J. Sun, Katsuharu Suzuki, E. Thorne, X. Wang, J. Xu, M. Zhu	Reducing Compilation Time of Zhong's FPGA-Based SAT Solver.	FCCM	1999	DBLP DOI BibTeX RDF
21	Vladimír Székely, Márta Rencz	Fast field solver-programs for thermal and electrostatic analysis of microsystem elements.	ICCAD	1997	DBLP DOI BibTeX RDF	Field solvers, Successive Network Reduction, Thermal simulation
21	Marco Saraniti, Achim Rein, Günther Zandler, Peter Vogl, Paolo Lugli	An efficient multigrid Poisson solver for device simulations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
21	Michael Sannella	Skyblue: A Multi-way Local Propagation Constraint Solver for User Interface Construction.	ACM Symposium on User Interface Software and Technology	1994	DBLP DOI BibTeX RDF	SkyBlue, local propagation, user interface implementation, constraints, constraint hierarchies
21	F. Zerr, Jean-Gabriel Ganascia	Integrating an Explanation-Based Learning Mechanism into a General Problem-Solver.	EWSL	1991	DBLP DOI BibTeX RDF	EBG, problem solving, production systems, Chunking, Explanation-based learning
21	Juhani Jaakola	Modifying the Simplex Algorithm to a Constraint Solver.	PLILP	1990	DBLP DOI BibTeX RDF
21	Olaf Schenk, Murat Manguoglu, Ahmed H. Sameh, Matthias Christen, Madan Sathe	Parallel scalable PDE-constrained optimization: antenna identification in hyperthermia cancer treatment planning.	Comput. Sci. Res. Dev.	2009	DBLP DOI BibTeX RDF	PDE-constrained optimization, Large-scale parallel optimization, Saddle-point matrices, Sparse liner solver, Biomedical application
21	Dongyoon Lee, Mahmoud Said, Satish Narayanasamy, Zijiang Yang 0006, Cristiano Pereira	Offline symbolic analysis for multi-processor execution replay.	MICRO	2009	DBLP DOI BibTeX RDF	multi-processor replay, shared-memory dependencies, SMT solver
21	Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer	Unifying type checking and property checking for low-level code.	POPL	2009	DBLP DOI BibTeX RDF	assertion checking, low-level code, decision procedure, type checking, smt solver, property checking
21	Kathrin Burckhardt, Dominik Szczerba, Jed Brown, Krishnamurthy Muralidhar, Gábor Székely	Fast Implicit Simulation of Oscillatory Flow in Human Abdominal Bifurcation Using a Schur Complement Preconditioner.	Euro-Par	2009	DBLP DOI BibTeX RDF	Aortic aneurysm, streamline diffusion FEM, indefinite matrix, parallel Krylov solver, flow simulation
21	David Coudert, Frédéric Giroire, Ignasi Sau	Edge-Simple Circuits through 10 Ordered Vertices in Square Grids.	IWOCA	2009	DBLP DOI BibTeX RDF	edge-simple circuit, prescribed vertices, ILP solver, square grid
21	Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer 0002	A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	C-XSC, 100-digit challenge, reliable linear system solver, large dense linear systems, high performance computing, reliable computing
21	Markus Grimmer	Extending the Range of C-XSC: Some Tools and Applications for the Use in Parallel and Other Environments.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	C-XSC, Verified Linear System Solver, MPI, Maple, Interval Arithmetic, Integral Equations, Parallel Environment
21	Abdessamad Qaddouri, Vivian Lee	Solution of the implicit formulation of high order diffusion for the Canadian Atmospheric GEM model.	SpringSim	2008	DBLP DOI BibTeX RDF	block LU solver, global transposition, implicit high-order diffusion, fast Fourier transforms
21	Jared Stookey, Zhongyi Xie, Barbara Cutler, W. Randolph Franklin, Daniel M. Tracy, Marcus V. A. Andrade	Parallel ODETLAP for terrain compression and reconstruction.	GIS	2008	DBLP DOI BibTeX RDF	PDE solver, terrain elevation data set compression, terrain interpolation, parallel computation, GIS, terrain modeling, LIDAR
21	Tobias Eibach, Enrico Pilz, Gunnar Völkel	Attacking Bivium Using SAT Solvers.	SAT	2008	DBLP DOI BibTeX RDF	Rsat, Bivium, Gröbner Base, Cryptography, Application, Stream Cipher, BDD, SAT Solver, eSTREAM, Trivium
21	Blandine Debraize, Louis Goubin	Guess-and-Determine Algebraic Attack on the Self-Shrinking Generator.	FSE	2008	DBLP DOI BibTeX RDF	guess-and-determine attacks, stream cipher, SAT solver, algebraic cryptanalysis, self-shrinking generator, multivariate quadratic equations
21	Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige	Challenges in Constraint-Based Analysis of Hybrid Systems.	CSCLP	2008	DBLP DOI BibTeX RDF	mixed Boolean and arithmetic constraints, stochastic SMT, parallel solver, differential equations, Craig interpolation
21	John D. Davis, Zhangxi Tan, Fang Yu 0002, Lintao Zhang	A practical reconfigurable hardware accelerator for Boolean satisfiability solvers.	DAC	2008	DBLP DOI BibTeX RDF	BCP, FPGA, reconfigurable, SAT solver, co-processor
21	Torsten Adolph, Willi Schönauer	Parallelization of the Mesh Refinement Algorithm of the FDEM Program Package.	PARA	2006	DBLP DOI BibTeX RDF	Non-linear PDEs, Black-box solver, Parallelization, Error estimate, Unstructured grid, Finite difference method, Mesh refinement
21	Wensheng Shen, Jun Zhang 0001, Fuqian Yang	Newton's method for steady and unsteady reacting flows.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	bomputational science, diffusion flame, Newton's method, iterative solver
21	Jirí Starý, Ondrej Jakl, Roman Kohut	Parallel Thermo-Mechanical Modelling for Nuclear Waste Deposition.	ISPA Workshops	2006	DBLP DOI BibTeX RDF	Thermo-elasticity, finite element solver, nuclear waste repository, parallelization
21	Xiaoye S. Li	An overview of SuperLU: Algorithms, implementation, and user interface.	ACM Trans. Math. Softw.	2005	DBLP DOI BibTeX RDF	Sparse direct solver, supernodal factorization, scalability, parallelism, distributed-memory computers
21	Byoungwon Choe, Hyeong-Seok Ko	A Statistical Wisp Model and Pseudophysical Approaches for InteractiveHairstyle Generation.	IEEE Trans. Vis. Comput. Graph.	2005	DBLP DOI BibTeX RDF	statistical wisp model, hair deformation solver, hairstyling constraint, Markov chain, Hair modeling
21	Terry Moreland, Chih Jeng Kenneth Tan	Performance of Linear Algebra Code: Intel Xeon EM64T and ItaniumII Case Examples.	ICCSA (4)	2005	DBLP DOI BibTeX RDF	Systems of linear algebraic equations, Architecture specific tuning, Eigensolvers, SVD, Eigenvalues, Linear solver, Diagonalizer
21	Dongdong Nie, Lizhuang Ma, Shuangjiu Xiao, XueZhong Xiao	Grey-Scale Image Colorization by Local Correlation Based Optimization Algorithm.	VISUAL	2005	DBLP DOI BibTeX RDF	Local Correlation, Connectivity Detection, Least Square Solver, Optimization, Colorization, Subsample, Boundary Extraction
21	André Galligo, Jean Pascal Pavone	Selfintersections of a bézier bicubic surface.	ISSAC	2005	DBLP DOI BibTeX RDF	floating point coefficients, implicit equations, polynomial solver, singular locus, sparse resultant, surfaces of bidegree (3, 3), implementations
21	Linxiang X. Wang, Roderick V. N. Melnik	Thermomechanical Waves in SMA Patches under Small Mechanical Loadings.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF	Nonlinear waves, thermo-mechanics coupling, differential-algebraic solver
21	David Thevenin	From the workstation to the mobile phone: multi-target interface design.	IHM	2003	DBLP DOI BibTeX RDF	interactive editing, numerical solver, human computer interaction, adaptation, constraints solving
21	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
21	Jos de Kloe, Aad J. van der Steen, Hakan Öksüzoglu, Henk Dijkstra	A Fully Implicit Parallel Ocean Model Using MUMPS.	J. Supercomput.	2002	DBLP DOI BibTeX RDF	ocean model, parallel multifrontal solver, implicit model
21	Willi Schönauer, Torsten Adolph	Higher Order May Be Better or May Not Be Better: Investigations with the FDEM (Finite Difference Element Method).	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	selfadaptation, black-box solver, finite difference method, higher order
21	N. T. Padial-Collins, W. B. VanderHeyden, Duan Z. Zhang, Edward D. Dendy, Daniel Livescu	Parallel operation of cartablanca on shared and distributed memory computers ©.	Java Grande	2002	DBLP DOI BibTeX RDF	Krylov, Newton, Java, parallel, object oriented, components, threads, physics, Jacobian, solver
21	János D. Pintér	Globally Optimized Spherical Point Arrangements: Model Variants and Illustrative Results.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	spherical point arrangements, multiextremal criterion functions, LGO model development and solver system, illustrative results, global optimization
21	W. B. VanderHeyden, Edward D. Dendy, N. T. Padial-Collins	CartaBlanca - a pure-Java, component-based systems simulation tool for coupled non-linear physics on unstructured grids.	Java Grande	2001	DBLP DOI BibTeX RDF	Java object oriented, Krylov, Newton, parallel, components, threads, physics, Jacobian, solver
21	Samy Ait-Aoudia, Brahim Hamid, Adel Moussaoui, Toufik Saadi	Solving Geometric Constraints by a Graph-Constructive Approach.	IV	1999	DBLP DOI BibTeX RDF	graph-based solver, over- and under-constrained schemes, Computer aided design, constraints solving, geometric constraints
21	Hideo Fukumori, Yoichi Kono, Ken Nishimatsu, Yoichi Muraoka	Finite element analysis with heterogeneous parallel computer environment over ATM network.	ISPAN	1996	DBLP DOI BibTeX RDF	FEM solver, heterogeneous parallel environment, Fujitsu AP1000, NEC Cenju-3, OLU, parallel triangular mesh generator, substructure method, parallel algorithms, parallel computers, parallel architectures, Delaunay Triangulation, mesh generation, finite element analysis
21	Guy Edjlali, Gagan Agrawal, Alan Sussman, Joel H. Saltz	Data parallel programming in an adaptive environment.	IPPS	1995	DBLP DOI BibTeX RDF	adaptive environment, loop bounds, runtime library, multiblock Navier-Stokes solver, parallel programming, message passing, message passing, programming environments, network of workstations, PVM, communication patterns, runtime support, data redistribution, data parallel programming, performance results
21	Alois Ferscha, James Johnson	N-MAP: a virtual processor discrete event simulation tool for performance prediction in the CAPSE environment.	HICSS (2)	1995	DBLP DOI BibTeX RDF	virtual processor discrete event simulation tool, CAPSE environment, N-MAP, CAPSE, Computer Aided Parallel Software Engineering, performance oriented parallel program development, simulation based performance analysis, coding phase, N-MAP tool, automatic parse, performance critical program parts, simulated execution, linear system solver, formal specification, testing, parallel programming, specification, virtual machines, monitoring, software tools, programming environments, discrete event simulation, performance prediction, correction, software performance evaluation, CM-5
21	George J. Klir, Ivan Rozehnal	Epistemological Categories of Systems: An Overview and Mathematical Formulation.	EUROCAST	1989	DBLP DOI BibTeX RDF	General systems problem solver (GSPS), epistemological systems hierarchy, source system, data system, behavior system, structure system, metasystem, category theory, generative system, state-transition system, image system
19	Vaishnavi Gujjula, Sivaram Ambikasaran	Algebraic Inverse Fast Multipole Method: A fast direct solver that is better than HODLR based fast direct solver.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
19	Youssef Saade, Detlef Lohse, Daniel Fuster	A multigrid solver for the coupled pressure-temperature equations in an all-Mach solver with VoF.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
19	Zhiqiang Liu, Wenjian Yu	pGRASS-Solver: A Graph Spectral Sparsification-Based Parallel Iterative Solver for Large-Scale Power Grid Analysis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2023	DBLP DOI BibTeX RDF
19	Shengmeng Li, Luping Liu, Zenghao Chai, Runnan Li, Xu Tan 0003	ERA-Solver: Error-Robust Adams Solver for Fast Sampling of Diffusion Probabilistic Models.	CoRR	2023	DBLP DOI BibTeX RDF
19	Shigui Li, Wei Chen, Delu Zeng	SciRE-Solver: Efficient Sampling of Diffusion Probabilistic Models by Score-integrand Solver with Recursive Derivative Estimation.	CoRR	2023	DBLP DOI BibTeX RDF
19	Kaiwen Zheng, Cheng Lu 0011, Jianfei Chen 0001, Jun Zhu 0001	DPM-Solver-v3: Improved Diffusion ODE Solver with Empirical Model Statistics.	CoRR	2023	DBLP DOI BibTeX RDF
19	Mina Samizadeh, Guangmo Tong	VN-Solver: Vision-based Neural Solver for Combinatorial Optimization over Graphs.	CoRR	2023	DBLP DOI BibTeX RDF
19	Vaishnavi Gujjula, Sivaram Ambikasaran	Algebraic Inverse Fast Multipole Method: A fast direct solver that is better than HODLR based fast direct solver.	CoRR	2023	DBLP DOI BibTeX RDF
19	Shuchen Xue, Mingyang Yi, Weijian Luo, Shifeng Zhang, Jiacheng Sun, Zhenguo Li, Zhi-Ming Ma	SA-Solver: Stochastic Adams Solver for Fast Sampling of Diffusion Models.	CoRR	2023	DBLP DOI BibTeX RDF
19	Mina Samizadeh, Guangmo Tong	VN-Solver: Vision-based Neural Solver for Combinatorial Optimization over Graphs.	CIKM	2023	DBLP DOI BibTeX RDF
19	Kaiwen Zheng, Cheng Lu, Jianfei Chen, Jun Zhu	DPM-Solver-v3: Improved Diffusion ODE Solver with Empirical Model Statistics.	NeurIPS	2023	DBLP BibTeX RDF
19	Shuchen Xue, Mingyang Yi, Weijian Luo, Shifeng Zhang, Jiacheng Sun, Zhenguo Li, Zhi-Ming Ma	SA-Solver: Stochastic Adams Solver for Fast Sampling of Diffusion Models.	NeurIPS	2023	DBLP BibTeX RDF
19	Eliska Kloberdanz, Wei Le	S-SOLVER: Numerically Stable Adaptive Step Size Solver for Neural ODEs.	ICANN (9)	2023	DBLP DOI BibTeX RDF
19	Mario Di Renzo	HTR-1.3 solver: Predicting electrified combustion using the hypersonic task-based research solver.	Comput. Phys. Commun.	2022	DBLP DOI BibTeX RDF
19	Geon Hee Lee, Ali Sadollah, Sang Ho Park, Zong Woo Geem	HS-Solver: Spreadsheet based harmony search algorithm solver for various optimization problems.	SoftwareX	2022	DBLP DOI BibTeX RDF
19	Cheng Lu 0011, Yuhao Zhou, Fan Bao, Jianfei Chen 0001, Chongxuan Li, Jun Zhu 0001	DPM-Solver++: Fast Solver for Guided Sampling of Diffusion Probabilistic Models.	CoRR	2022	DBLP DOI BibTeX RDF
19	Josué Tonelli-Cueto	A p-adic Descartes solver: the Strassman solver.	CoRR	2022	DBLP DOI BibTeX RDF
19	Cheng Lu 0011, Yuhao Zhou, Fan Bao, Jianfei Chen 0001, Chongxuan Li, Jun Zhu 0001	DPM-Solver: A Fast ODE Solver for Diffusion Probabilistic Model Sampling in Around 10 Steps.	CoRR	2022	DBLP DOI BibTeX RDF
19	Cheng Lu 0011, Yuhao Zhou, Fan Bao, Jianfei Chen 0001, Chongxuan Li, Jun Zhu 0001	DPM-Solver: A Fast ODE Solver for Diffusion Probabilistic Model Sampling in Around 10 Steps.	NeurIPS	2022	DBLP BibTeX RDF
19	Xianwen Deng, Ruijie Zhao 0001, Yanhao Wang, Libo Chen, Yijun Wang, Zhi Xue	3E-Solver: An Effortless, Easy-to-Update, and End-to-End Solver with Semi-Supervised Learning for Breaking Text-Based Captchas.	IJCAI	2022	DBLP DOI BibTeX RDF
19	Sebastian Angrick, Ben Bals, Katrin Casel, Sarel Cohen, Tobias Friedrich 0001, Niko Hastrich, Theresa Hradilak, Davis Issac, Otto Kißig, Jonas Schmidt 0002, Leo Wendt	PACE Solver Description: Mount Doom - An Exact Solver for Directed Feedback Vertex Set.	IPEC	2022	DBLP DOI BibTeX RDF
19	Yuming Du, Qingyun Zhang, Junzhou Xu, Shungen Zhang, Chao Liao, Zhihuai Chen, Zhibo Sun, Zhouxing Su, Junwen Ding, Chen Wu, Pinyan Lu, Zhi-Peng Lv	PACE Solver Description: Hust-Solver - A Heuristic Algorithm of Directed Feedback Vertex Set Problem.	IPEC	2022	DBLP DOI BibTeX RDF
19	Sylwester Swat	PACE Solver Description: DiVerSeS - A Heuristic Solver for the Directed Feedback Vertex Set Problem.	IPEC	2022	DBLP DOI BibTeX RDF
19	Mario Di Renzo, Sergio Pirozzoli	HTR-1.2 solver: Hypersonic Task-based Research solver version 1.2.	Comput. Phys. Commun.	2021	DBLP DOI BibTeX RDF
19	Thomas Bohlen, Mario Ruben Fernandez, Johannes Ernesti, Christian Rheinbay, Andreas Rieder, Christian Wieners	Visco-acoustic full waveform inversion: From a DG forward solver to a Newton-CG inverse solver.	Comput. Math. Appl.	2021	DBLP DOI BibTeX RDF
19	Kang Chen, Yupan Wang, Song-Hai Zhang, Sen-Zhe Xu 0001, Weidong Zhang, Shi-Min Hu 0001	MoCap-solver: a neural solver for optical motion capture data.	ACM Trans. Graph.	2021	DBLP DOI BibTeX RDF
19	Zhiqiang Liu, Wenjian Yu	pGRASS-Solver: A Parallel Iterative Solver for Scalable Power Grid Analysis Based on Graph Spectral Sparsification.	ICCAD	2021	DBLP DOI BibTeX RDF
19	Alexander Bille, Dominik Brandenstein, Emanuel Herrendorf	PACE Solver Description: ADE-Solver.	IPEC	2021	DBLP DOI BibTeX RDF
19	Sylwester Swat	PACE Solver Description: CluES - a Heuristic Solver for the Cluster Editing Problem.	IPEC	2021	DBLP DOI BibTeX RDF
19	James Trimble 0001	PACE Solver Description: Bute-Plus: A Bottom-Up Exact Solver for Treedepth.	IPEC	2020	DBLP DOI BibTeX RDF
19	Sylwester Swat	PACE Solver Description: Finding Elimination Trees Using ExTREEm - a Heuristic Solver for the Treedepth Decomposition Problem.	IPEC	2020	DBLP DOI BibTeX RDF
19	James Trimble 0001	PACE Solver Description: Tweed-Plus: A Subtree-Improving Heuristic Solver for Treedepth.	IPEC	2020	DBLP DOI BibTeX RDF
19	Brecht Devolder, Peter Troch, Pieter Rauwoens	Accelerated numerical simulations of a heaving floating body by coupling a motion solver with a two-phase fluid solver.	Comput. Math. Appl.	2019	DBLP DOI BibTeX RDF
19	Albin Coquereau	[ErgoFast] Amélioration de performances du solveur SMT Alt-Ergo grâce à l'intégration d'un solveur SAT efficace. ([ErgoFast] Improving performance of the SMT solver Alt-Ergo with a better integration of efficient SAT solver).		2019	RDF
19	Umesh Kumar Seth	Message Passing Interface parallelization of a multi-block structured numerical solver. Application to the numerical simulation of various typical Electro-Hydro-Dynamic flows. (Parallélisation d'un solver multi-blocs structurés avec la librairie Message Passing Interface. Application à la simulation numérique de divers écoulements électro-hydro-dynamiques typiques).		2019	RDF
19	Dinshaw S. Balsara, Jiequan Li, Gino I. Montecinos	An efficient, second order accurate, universal generalized Riemann problem solver based on the HLLI Riemann solver.	J. Comput. Phys.	2018	DBLP DOI BibTeX RDF
19	Timo Berthold, Michael Perregaard, Csaba Mészáros	Four Good Reasons to Use an Interior Point Solver Within a MIP Solver.	OR	2017	DBLP DOI BibTeX RDF
19	George Henrique Godim da Fonseca, Haroldo Gambini Santos, Túlio Ângelo Machado Toffolo, Samuel Souza Brito, Marcone Jamilson Freitas Souza	GOAL solver: a hybrid local search based solver for high school timetabling.	Ann. Oper. Res.	2016	DBLP DOI BibTeX RDF
19	Yan Liu, Weidong Shen, Baolin Tian, De-kang Mao	A two dimensional nodal Riemann solver based on one dimensional Riemann solver for a cell-centered Lagrangian scheme.	J. Comput. Phys.	2015	DBLP DOI BibTeX RDF
19	Christoph Siewert, Matthias Meinke, Wolfgang Schröder 0001	Efficient Coupling of an Eulerian Flow Solver with a Lagrangian Particle Solver for the Investigation of Particle Clustering in Turbulence.	High Performance Computing in Science and Engineering	2013	DBLP DOI BibTeX RDF