The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Solver with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1958-1975 (17) 1976-1981 (16) 1982-1985 (20) 1986-1987 (24) 1988-1989 (33) 1990 (22) 1991 (30) 1992 (23) 1993 (21) 1994 (50) 1995 (54) 1996 (63) 1997 (77) 1998 (80) 1999 (75) 2000 (101) 2001 (141) 2002 (181) 2003 (187) 2004 (270) 2005 (310) 2006 (323) 2007 (373) 2008 (380) 2009 (349) 2010 (190) 2011 (155) 2012 (183) 2013 (192) 2014 (213) 2015 (247) 2016 (265) 2017 (278) 2018 (268) 2019 (290) 2020 (340) 2021 (378) 2022 (409) 2023 (460) 2024 (116)
Publication types (Num. hits)
article(3333) book(1) data(2) incollection(33) inproceedings(3761) phdthesis(74)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2478 occurrences of 1393 keywords

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