Search results for "solver"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
59	Luca Pulina, Armando Tacchella	A self-adaptive multi-engine solver for quantified Boolean formulas.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Self-adaptive multi-engine solver, AQME, Quantified Boolean formulas
59	Fredrik Edelvik, Gunnar Ledfelt	Explicit Hybrid Time Domain Solver for the Maxwell Equations in 3D.	J. Sci. Comput.	2000	DBLP DOI BibTeX RDF	Maxwell''s equations, hybrid solver, FD-TD, finite volumes
53	Guo-dong Lei, Gong-min Liu, Pingjian Ming, Wenping Zhang, Minggang Zhu	CGNS Data Format Used for A 2D/3D Finite Volume Unstructured Grid Flow Solver.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF	CGNS API, hybrid grids, PDE, Hash Table, solver, unstructured
53	Sanjai Narain, Gary Levin, Sharad Malik, Vikram Kaul	Declarative Infrastructure Configuration Synthesis and Debugging.	J. Netw. Syst. Manag.	2008	DBLP DOI BibTeX RDF	Requirement solver, Model finder, Diagnosis, Partial evaluation, SAT solver, Troubleshooting
51	Marco D'Apuzzo, Marco Lapegna	A parallel row projection solver for large sparse linear systems.	PDP	1995	DBLP DOI BibTeX RDF	parallel row projection solver, large sparse linear systems, parallel iterative solver, row-projection algorithm, Kaczmarz method, Conjugate Gradient acceleration, row partitioning, data distribution strategy, parallel algorithms, robustness, eigenvalues, sparse matrices, conjugate gradient methods, eigenvalues and eigenfunctions
50	Hossein M. Sheini, Karem A. Sakallah	Ario: A Linear Integer Arithmetic Logic Solver.	FMCAD	2006	DBLP DOI BibTeX RDF
48	Jin Shi, Yici Cai, Wenting Hou, Liwei Ma, Sheldon X.-D. Tan, Pei-Hsin Ho, Xiaoyi Wang	GPU friendly fast Poisson solver for structured power grid network analysis.	DAC	2009	DBLP DOI BibTeX RDF	P/G network, fast Poisson solver, GPU
48	Ye Zhang 0002, Torben Amtoft, Flemming Nielson	From generic to specific: off-line optimization for a general constraint solver.	GPCE	2008	DBLP DOI BibTeX RDF	off-line optimization, solver technology, constraints, program analysis, datalog, unification
48	Jérémie Gaidamour, Pascal Hénon	A Parallel Direct/Iterative Solver Based on a Schur Complement Approach.	CSE	2008	DBLP DOI BibTeX RDF	parallel sparse linear solver, incomplete factorization, hierarchical interface decomposition, iterative method, domain decomposition, Schur complement
48	Nikolai Kosmatov	A constraint solver for sequences and its applications.	SAC	2006	DBLP DOI BibTeX RDF	verification, validation, sequences, constraint solver
46	Thibaut Feydy, Peter J. Stuckey	Lazy Clause Generation Reengineered.	CP	2009	DBLP DOI BibTeX RDF
44	Adrian Balint, Michael Henn, Oliver Gableske	A Novel Approach to Combine a SLS- and a DPLL-Solver for the Satisfiability Problem.	SAT	2009	DBLP DOI BibTeX RDF
44	Lei Fang 0002, Michael S. Hsiao	A new hybrid solution to boost SAT solver performance.	DATE	2007	DBLP DOI BibTeX RDF
44	Nikolai Kosmatov	Constraint Solving for Sequences in Software Validation and Verification.	INAP	2005	DBLP DOI BibTeX RDF	verification, validation, sequences, constraint solver
42	Christoph Fünfzig, Dominique Michelucci, Sebti Foufou	Nonlinear systems solver in floating-point arithmetic using LP reduction.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF	intersection computation, subdivision solver, linear programming, CAD, interval arithmetic, geometric constraints, geometric constraint solving, distance computation
42	Chao-Jen Lee, Yeh-Ching Chung	A Web-Based Parallel PDE Solver Generation System for Distributed Memory Computing Environments.	COMPSAC	2000	DBLP DOI BibTeX RDF	partitioner, load balancer, refiner, finite element method, solver
42	Vladimir Kolobov, Robert Arslanbekov, Alex Vasenkov	Coupling Atomistic and Continuum Models for Multi-scale Simulations of Gas Flows.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	Rarefied Gas Dynamics, Boltzmann solver, Kinetic Monte Carlo, Unified Flow Solver, Molecular Dynamics, carbon nanotubes
42	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
40	Hossein M. Sheini, Karem A. Sakallah	A Progressive Simplifier for Satisfiability Modulo Theories.	SAT	2006	DBLP DOI BibTeX RDF
40	Hossein M. Sheini, Karem A. Sakallah	A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems.	CPAIOR	2005	DBLP DOI BibTeX RDF
40	Hossein M. Sheini, Karem A. Sakallah	A Scalable Method for Solving Satisfiability of Integer Linear Arithmetic Logic.	SAT	2005	DBLP DOI BibTeX RDF
38	Wanmei Ou, Polina Golland, Matti S. Hämäläinen	A Distributed Spatio-temporal EEG/MEG Inverse Solver.	MICCAI (1)	2008	DBLP DOI BibTeX RDF
38	Khalil Djelloul	A Full First-Order Constraint Solver for Decomposable Theories.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
38	Fang (Cherry) Liu, Randall Bramley	CCA-LISI: On Designing A CCA Parallel Sparse Linear Solver Interface.	IPDPS	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	Xiaozhen Niu, Martin Müller 0003	An Open Boundary Safety-of-Territory Solver for the Game of Go.	Computers and Games	2006	DBLP DOI BibTeX RDF
38	Feng Lu 0002, Li-C. Wang, Kwang-Ting Cheng, Ric C.-Y. Huang	A Circuit SAT Solver With Signal Correlation Guided Learning.	DATE	2003	DBLP DOI BibTeX RDF
38	Kishor Ganguly, Steven A. Orszag	A New Time-Based Iterative Solver for Linear Standing-Wave Problems.	J. Sci. Comput.	1999	DBLP DOI BibTeX RDF	Oscillatory Helmholtz equation, numerical methods
38	Xin Hu 0007, Jung Hoon Lee, Jacob White 0001, Luca Daniel	Analysis of full-wave conductor system impedance over substrate using novel integration techniques.	DAC	2005	DBLP DOI BibTeX RDF	impedance extraction, integral equation solver, substratemodeling
36	Uwe Egly, Martina Seidl, Stefan Woltran	A solver for QBFs in negation normal form.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Negation normal form, Solver, QBFs
36	Wenwen Chai, Dan Jiao, Cheng-Kok Koh	A direct integral-equation solver of linear complexity for large-scale 3D capacitance and impedance extraction.	DAC	2009	DBLP DOI BibTeX RDF	full wave, integral-equation-based methods, capacitance extraction, direct solver
36	Vladimir V. Aristov, A. A. Frolova, Sergey A. Zabelok, V. I. Kolobov, R. R. Arslanbekov	Multi-scale Simulations of Gas Flows with Unified Flow Solver.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	Boltzmann equation, Rarefied Gas Dynamics, direct Boltzmann solver, kinetic CFD scheme, multiscale flows, adaptive mesh
36	Chao Wang 0001, Aarti Gupta, Malay K. Ganai	Predicate learning and selective theory deduction for a difference logic solver.	DAC	2006	DBLP DOI BibTeX RDF	difference logic, SAT, decision procedure, SMT solver
36	Xiaoye S. Li, James Demmel	SuperLU_DIST: A scalable distributed-memory sparse direct solver for unsymmetric linear systems.	ACM Trans. Math. Softw.	2003	DBLP DOI BibTeX RDF	Sparse direct solver, supernodal factorization, scalability, parallelism, distributed-memory computers
36	Thi-Bich-Hanh Dao, Arnaud Lallouet, Andrei Legtchenko, Lionel Martin	Indexical-Based Solver Learning.	CP	2002	DBLP DOI BibTeX RDF	rule-based constraint solver, learning, consistency, CSP
36	Maria Isabel Casas Villalba, Chih Jeng Kenneth Tan	Efficient Monte Carlo Linear Solver with Chain Reduction and Optimization Using PLFG.	HPCN	2001	DBLP DOI BibTeX RDF	Lagged Fibonnaci Generator, Parallel Computation, Monte Carlo Method, Pseudo-random Number Generator, Linear Solver
34	Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth	Using Stochastic Local Search to Solve Quantified Boolean Formulae.	CP	2003	DBLP DOI BibTeX RDF
33	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
33	Xiuqin Wang, Hao Wang, Guangsheng Ma	Hybrid SAT Solver Considering Circuit Observability.	ICYCS	2008	DBLP DOI BibTeX RDF
33	Mark H. M. Winands, Yngvi Björnsson, Jahn-Takeshi Saito	Monte-Carlo Tree Search Solver.	Computers and Games	2008	DBLP DOI BibTeX RDF
33	Hisao Ishibuchi, Noritaka Tsukamoto, Yusuke Nojima	Maintaining the diversity of solutions by non-geometric binary crossover: a worst one-max solver competition case study.	GECCO	2008	DBLP DOI BibTeX RDF	binary crossover, diversity maintenance, non-geometric crossover, genetic algorithms
33	Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani	A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems.	CAV	2007	DBLP DOI BibTeX RDF
33	Chi-An Wu, Ting-Hao Lin, Chih-Chun Lee, Chung-Yang Huang	QuteSAT: a robust circuit-based SAT solver for complex circuit structure.	DATE	2007	DBLP DOI BibTeX RDF
33	Luca Pulina, Armando Tacchella	A Multi-engine Solver for Quantified Boolean Formulas.	CP	2007	DBLP DOI BibTeX RDF
33	Ye Zhang 0002, Flemming Nielson	A Scalable Inclusion Constraint Solver Using Unification.	LOPSTR	2007	DBLP DOI BibTeX RDF
33	Romanelli Lodron Zuim, José T. de Sousa, Claudionor José Nunes Coelho Jr.	A Fast SAT Solver Strategy Based on Negated Clauses.	VLSI-SoC	2006	DBLP DOI BibTeX RDF
33	Kenji Kanazawa, Tsutomu Maruyama	An FPGA Solver for Large SAT Problems.	FPL	2006	DBLP DOI BibTeX RDF
33	James R. Ezick, Samuel B. Luckenbill, Donald Nguyen, Péter Szilágyi, John Starks, Richard A. Lethin	Poster reception - Alef parallel SAT solver for HPC hardware.	SC	2006	DBLP DOI BibTeX RDF
33	Peter McCorquodale, Phillip Colella, Gregory T. Balls, Scott B. Baden	A Scalable Parallel Poisson Solver in Three Dimensions with Infinite-Domain Boundary Conditions.	ICPP Workshops	2005	DBLP DOI BibTeX RDF
33	Anshul Gupta	A Shared- and Distributed-Memory Parallel Sparse Direct Solver.	PARA	2004	DBLP DOI BibTeX RDF
33	Peter Zoeteweij, Farhad Arbab	A Component-Based Parallel Constraint Solver.	COORDINATION	2004	DBLP DOI BibTeX RDF	parallelization, coordination, constraint solving, component-based software engineering
33	Brice Pajot, Éric Monfroy	Separating Search and Strategy in Solver Cooperations.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
33	Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez	A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation.	SAT	2003	DBLP DOI BibTeX RDF
33	Viresh Paruthi, Andreas Kuehlmann	Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation.	ICCD	2000	DBLP DOI BibTeX RDF
33	Marián Vajtersic	A VLSI Multigrid Poisson Solver Amenable to Biharmonic Equation.	CONPAR	1992	DBLP DOI BibTeX RDF
32	Olga Ohrimenko, Peter J. Stuckey, Michael Codish	Propagation via lazy clause generation.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Finite domain propagation, Boolean variables, SAT solver
32	Xian-He Sun, Wu Zhang	A Parallel Two-Level Hybrid Method for Tridiagonal Systems and Its Application to Fast Poisson Solvers.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	tridiagonal systems, Parallel processing, scalable computing, Poisson solver
32	Reem Bahgat, Samir E. AbdelRahman	Combining Constraint Logic Programming Techniques for Solving Linear Problems.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF	Interval Reasoning, Domain Splitting, Simplex-Like Solver, Constraint Logic Programming
32	M. J. Hagger	Automatic domain decomposition on unstructured grids (DOUG).	Adv. Comput. Math.	1998	DBLP DOI BibTeX RDF	parallel solver, additive Schwarz, general purpose software, MPI, finite elements, partial differential equations, domain decomposition, 65N55, unstructured grids, 65N22, 65F10
31	John K. Reid, Jennifer A. Scott	An out-of-core sparse Cholesky solver.	ACM Trans. Math. Softw.	2009	DBLP DOI BibTeX RDF	Cholesky, multifrontal, out-of-core solver, sparse symmetric linear systems
31	Raouf Dridi, Michel Petitot	Towards a new ode solver based on cartan's equivalence method.	ISSAC	2007	DBLP DOI BibTeX RDF	cartan's equivalence method, ode-solver, differential algebra, equivalence problems
31	Elena Braverman, Boris Epstein 0002, Moshe Israeli, Amir Averbuch	A Fast Spectral Subtractional Solver for Elliptic Equations.	J. Sci. Comput.	2004	DBLP DOI BibTeX RDF	fast spectral direct solver, the Poisson equation, the modified Helmholtz equation, preconditioned iterative algorithm for elliptic equations, equations in complex geometries
31	Moshe Israeli, Elena Braverman, Amir Averbuch	A Hierarchical 3-D Poisson Modified Fourier Solver by Domain Decomposition.	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	3-D Poisson solver, modified Fourier method, domain decomposition
31	Wei Cai	Algorithmic Issues for Electromagnetic Scattering in Layered Media: Green's Functions, Current Basis, and Fast Solver.	Adv. Comput. Math.	2002	DBLP DOI BibTeX RDF	layered media, integral equation methods, basis functions, Green's functions, electromagnetic scattering, fast solver
31	Chih Jeng Kenneth Tan	Antithetic Monte Carlo Linear Solver.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF	Systems of linear algebraic equations, Parallel algorithms, Monte Carlo method, Linear solver
31	Jon Edvardsson, Mariam Kamkar	Analysis of the constraint solver in UNA based test data generation.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	unified numerical approach, constraint solver
31	Chih Jeng Kenneth Tan, Vassil N. Alexandrov	Relaxed Monte Carlo Linear Solver.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF	Systems of linear algebraic equations, Parallel algorithms, Monte Carlo method, Linear solver
31	Hidetomo Nabeshima, Katsumi Inoue, Hiromasa Haneda	Implementing an action language using a SAT solver.	ICTAI	2000	DBLP DOI BibTeX RDF	planning algorithms, plan search space, planning graph, SAT planning, AMP, domain description, Java, Java, data structures, data structure, planning (artificial intelligence), computability, inference mechanisms, satisfiability problem, SAT solver, reasoning about action, model generation, action language
31	Bertil Gustafsson, Lina Hemmingsson-Frändén	A Fast Domain Decomposition High Order Poisson Solver.	J. Sci. Comput.	1999	DBLP DOI BibTeX RDF	parallel computing, Domain decomposition, Poisson solver
31	Kenneth Y. Yun, Ayoob E. Dooply, Julio Arceo, Peter A. Beerel, Vida Vakilotojar	The Design and Verification of A High-Performance Low-Control-Overhead Asynchronous Differential Equation Solver.	ASYNC	1997	DBLP DOI BibTeX RDF	Differential equation solver, Low control, Completion sensing, Model checking, Distributed control, overhead, Asynchronous design
31	Sharad Kapur, David E. Long	IES3: a fast integral equation solver for efficient 3-dimensional extraction.	ICCAD	1997	DBLP DOI BibTeX RDF	3-dimensional extraction, IES/sup 3/, arbitrary kernels, integral equation solver, integrated circuit structures, circuit CAD
31	Junming Qin, Tony Kai Yun Chan	Task Partitionings for Parallel Triangular Solver on an MIMD Computer.	HPDC	1996	DBLP DOI BibTeX RDF	task partitioning methods, parallel triangular solver, distributed-memory MIMD computer, estimated times, parallel performance evaluation methodology, optimal task granularities, transputer-based multicomputer, parallel algorithms, resource allocation, performance model, task scheduling, distributed memory systems, processor scheduling, software performance evaluation, matrix algebra, task assignment, mathematics computing
30	Farhad Arbab, Éric Monfroy	Using coordination for cooperative constraint solving.	SAC	1998	DBLP DOI BibTeX RDF	constraint solver cooperation, dynamic coordination, solver collaboration language, coordination model
29	Raphael M. Reischuk, Christian Schulte 0001, Peter J. Stuckey, Guido Tack	Maintaining State in Propagation Solvers.	CP	2009	DBLP DOI BibTeX RDF
29	Shubhashis Ghosh	DINS, a MIP Improvement Heuristic.	IPCO	2007	DBLP DOI BibTeX RDF
29	Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack	MiniZinc: Towards a Standard CP Modelling Language.	CP	2007	DBLP DOI BibTeX RDF
29	Derek H. Sleeman, Trevor Runcie, Peter M. D. Gray	Reuse: Revisiting Sisyphus-VT.	EKAW	2006	DBLP DOI BibTeX RDF
29	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz 0001, Roberto Sebastiani	MathSAT: Tight Integration of SAT and Mathematical Decision Procedures.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	Satisfiability module theory, Integrated decision procedures, Linear arithmetic logic, Propositional satisfiability
29	Christopher H. Nevison	From concrete to abstract: the power of generalization.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	pedagogy, object-oriented design
29	José Miguel Mantas Ruiz, Julio Ortega, Jose Antonio Carrillo de la Plata	Exploiting the Multilevel Parallelism and the Problem Structure in the Numerical Solution of Stiff ODEs.	PDP	2002	DBLP DOI BibTeX RDF
29	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
29	Michel Rueher, Christine Solnon	Concurrent Cooperating Solvers over Reals.	Reliab. Comput.	1997	DBLP DOI BibTeX RDF
27	Günter Wallner	An extended GPU radiosity solver.	Vis. Comput.	2009	DBLP DOI BibTeX RDF	Extended radiosity, Global illumination, GPU programming, Interreflections
27	Margarida Cardoso 0002, Isabel Ramos 0001	Open innovation and the solver community.	GROUP	2009	DBLP DOI BibTeX RDF	crisis, crowdsourcing innovation, online communities, solvers
27	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
27	Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor	A Simple Distributed Conflict-Driven Answer Set Solver.	LPNMR	2009	DBLP DOI BibTeX RDF
27	Alexandra Goultiaeva, Vicki Iverson, Fahiem Bacchus	Beyond CNF: A Circuit-Based QBF Solver.	SAT	2009	DBLP DOI BibTeX RDF
27	Luca Pulina, Armando Tacchella	QuBIS: An (In)complete Solver for Quantified Boolean Formulas.	MICAI	2008	DBLP DOI BibTeX RDF
27	Xiaozhen Niu, Martin Müller 0003	An Improved Safety Solver in Go Using Partial Regions.	Computers and Games	2008	DBLP DOI BibTeX RDF
27	Ming Yang 0003, Zhou Kang, Lishan Kang	A Parallel Multi-algorithm Solver for Dynamic Multi-Objective TSP (DMO-TSP).	ICIC (2)	2008	DBLP DOI BibTeX RDF	dynamic multi-objective TSP, parallel multi-algorithm, Pareto optimal front
27	Maciej Paszynski, Robert Schaefer	Reutilization of Partial LU Factorizations for Self-adaptive hpFinite Element Method Solver.	ICCS (1)	2008	DBLP DOI BibTeX RDF
27	Kenji Kanazawa, Tsutomu Maruyama	An FPGA Solver for Very Large SAT Problems.	FPL	2007	DBLP DOI BibTeX RDF
27	Shinya Hiramoto, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima	A Hardware SAT Solver Using Non-chronological Backtracking and Clause Recording Without Overheads.	ARC	2007	DBLP DOI BibTeX RDF
27	Kuodi Jian	A Regressive Problem Solver That Uses Knowledgelet.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	Artificial Intelligence, Planning, Software Agent
27	Maciej Paszynski	Performance of Multi Level Parallel Direct Solver for hpFinite Element Method.	PPAM	2007	DBLP DOI BibTeX RDF	Parallel direct solvers, Substructuring method, Finite Element Method, hp adaptivity
27	Shujun Deng, Jinian Bian, Weimin Wu, Xiaoqing Yang, Yanni Zhao	EHSAT: An Efficient RTL Satisfiability Solver Using an Extended DPLL Procedure.	DAC	2007	DBLP DOI BibTeX RDF
27	Ian P. Gent, Ian Miguel, Andrea Rendl	Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion.	SARA	2007	DBLP DOI BibTeX RDF
27	P. Morgan, M. Visbal, D. Rizzetta	A Parallel Overset Grid High-Order Flow Solver for Large Eddy Simulation.	J. Sci. Comput.	2006	DBLP DOI BibTeX RDF	high-order compact differencing, parallel computing, CFD, Navier-Stokes equations, large Eddy simulation
27	Bruno Dutertre, Leonardo Mendonça de Moura	A Fast Linear-Arithmetic Solver for DPLL(T).	CAV	2006	DBLP DOI BibTeX RDF
27	Hans-Joachim Bungartz, Miriam Mehl, Tobias Weinzierl	A Parallel Adaptive Cartesian PDE Solver Using Space-Filling Curves.	Euro-Par	2006	DBLP DOI BibTeX RDF