Search results for "solver"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	David A. Bader, Vaddadi P. Chandu, Mi Yan	ExactMP: An Efficient Parallel Exact Solver for Phylogenetic Tree Reconstruction Using Maximum Parsimony.	ICPP	2006	DBLP DOI BibTeX RDF
27	Marc Meister, Khalil Djelloul, Thom W. Frühwirth	Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees.	CSCLP	2006	DBLP DOI BibTeX RDF
27	Feng Lu 0002, Madhu K. Iyer, Ganapathy Parthasarathy, Li-C. Wang, Kwang-Ting Cheng, Kuang-Chien Chen	An Efficient Sequential SAT Solver With Improved Search Strategies.	DATE	2005	DBLP DOI BibTeX RDF
27	Zerrin Yumak, Tatyana M. Yakhno	HIS: Hierarchical Solver for Over-Constrained Satisfaction Problems.	TAINN	2005	DBLP DOI BibTeX RDF
27	Jue Wu, Albert C. S. Chung	Cross Entropy: A New Solver for Markov Random Field Modeling and Applications to Medical Image Segmentation.	MICCAI	2005	DBLP DOI BibTeX RDF
27	Dipanjan Gope, Indranil Chowdhury, Vikram Jandhyala	DiMES: multilevel fast direct solver based on multipole expansions for parasitic extraction of massively coupled 3D microelectronic structures.	DAC	2005	DBLP DOI BibTeX RDF	non-iterative, parasitics, multilevel, multipole
27	Alberto Bemporad, Nicolò Giorgetti	A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems.	HSCC	2004	DBLP DOI BibTeX RDF
27	Alberto Bertoldo, Mauro Bianco, Geppino Pucci	A Fast Multifrontal Solver for Non-linear Multi-physics Problems.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
27	Vladimir Sidorov, Vitaly Telerman	Industrial Application of External Black-Box Functions in Constraint Programming Solver.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
27	Niklas Eén, Niklas Sörensson	An Extensible SAT-solver.	SAT	2003	DBLP DOI BibTeX RDF
27	Hongyu Chen, Chung-Kuan Cheng, Nan-Chi Chou, Andrew B. Kahng, John F. MacDonald, Peter Suaris, Bo Yao, Zhengyong Zhu	An algebraic multigrid solver for analytical placement with layout based clustering.	DAC	2003	DBLP DOI BibTeX RDF	algebraic multigrid method, layout based clustering, analytical placement
27	C. V. Ramakrishnan, S. Ramesh Kumar	Comparative Performance of Frontal (Direct) and PCG (Iterative) Solver Based Parallel Computations of Finite Element Analysis.	IPDPS	2002	DBLP DOI BibTeX RDF	Finite Element Analysis (FEA), Symmetric Multi-processor (SMP), Preconditioned Conjugate Gradient (PCG), degrees of freedom (dof), maximum bandwidth (mbwd), maximum frontwidth (mfwd), Number of processors (Numprocs), iterations (iter), Message Passing Interface (MPI), Single Instruction Multiple Data (SIMD), Multiple Instruction Multiple Data (MIMD)
27	Takeshi Iwashita, Tomohiro Tami, Masanori Kanazawa	Parallel Processing of ILU Preconditioned BiCGSTAB Solver Using Algebraic Multi-Color Ordering Method.	PARELEC	2002	DBLP DOI BibTeX RDF
27	Abdessamad Qaddouri, Jean Côté	Preconditioning for an Iterative Elliptic Solver on a Vector Processor.	VECPAR	2002	DBLP DOI BibTeX RDF
27	Amir Averbuch, Boris Epstein 0002, Ludimila Ioffe, Irad Yavneh	Efficient Parallelization of a Three-Dimensional Navier-Stokes Solver on MIMD Multiprocessors.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	MPI, compressible, parallel implementation, Navier-Stokes equations, three-dimensional, turbulent flows
27	Jinsong Zhao	Singularity-treated quadrature-evaluated method of moments solver for 3-D capacitance extraction.	DAC	2000	DBLP DOI BibTeX RDF
27	C. T. H. Everaars, Bert Lisser	Coordination of a Parallel Proposition Solver.	COORDINATION	1999	DBLP DOI BibTeX RDF
27	Mats Carlsson, Greger Ottosson, Björn Carlson	An Open-Ended Finite Domain Constraint Solver.	PLILP	1997	DBLP DOI BibTeX RDF	Implementation of Constraint Systems, Indexicals, Constraint Programming, Global Constraints, Finite Domains
27	Eugene Goldberg	Boundary Points and Resolution.	SAT	2009	DBLP DOI BibTeX RDF	proof quality, resolution, SAT-solver, boundary points
27	Michael M. Kazhdan, Hugues Hoppe	Streaming multigrid for gradient-domain operations on large images.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	B-spline finite elements, gigapixel images, multi-level streaming, out-of-core multigrid solver, Poisson equation
27	Xiang Fu 0001, Kai Qian	SAFELI: SQL injection scanner using symbolic execution.	TAV-WEB	2008	DBLP DOI BibTeX RDF	symbolic execution, automated testing, constraint solver, SQL injection attack
27	Murthy Palla, Jens Bargfrede, Klaus Koch, Walter Anheier, Rolf Drechsler	Adaptive Branch and Bound Using SAT to Estimate False Crosstalk.	ISQED	2008	DBLP DOI BibTeX RDF	Crosstalk Analysis, False Noise, STA, SAT Solver
27	Ondrej Jakl, Roman Kohut, Jirí Starý	MPI and OpenMP Computations for Nuclear Waste Deposition Models.	PPAM	2007	DBLP DOI BibTeX RDF	deep geological repository, thermo-elasticity, parallel solver, MPI, OpenMP, mathematical model
27	Javier Álvez, Paqui Lucio	Equational Constraint Solving Via a Restricted Form of Universal Quantification.	FoIKS	2006	DBLP DOI BibTeX RDF	constraint satisfaction, equality, solver, answer, term algebra
27	Daniel E. Cooke	Abstraction, concurrency, and communal computing in SequenceL.	COMPSAC	1997	DBLP DOI BibTeX RDF	SequenceL, declarative constructs, nonscalar processing, problem solver, metastructure, data products, data structures, concurrency, abstraction, computer language, language constructs, communal computing
25	Hee-Seok Kim, Shengzhao Wu, Li-Wen Chang, Wen-mei W. Hwu	A Scalable Tridiagonal Solver for GPUs.	ICPP	2011	DBLP DOI BibTeX RDF	Tridiagonal solver, Tridiagonal systems, GPGPU, GPU Computing
25	Per-Gunnar Martinsson	A Fast Direct Solver for a Class of Elliptic Partial Differential Equations.	J. Sci. Comput.	2009	DBLP DOI BibTeX RDF	Discrete Laplace operator, Hierarchically semi-separable matrix, H-matrix, Fast matrix algebra, Fast matrix inversion, Direct method, Fast solver
25	Yun Guan, Jan Verschelde	Parallel Implementation of a Subsystem-by-Subsystem Solver.	HPCS	2008	DBLP DOI BibTeX RDF	subsystem-by-subsystem solver, polynomial systems, homotopy continuation
25	Mihai Oltean	A-Brain: the multiple problems solver.	SAC	2006	DBLP DOI BibTeX RDF	artificial brain, general problem solver, genetic programming, multi expression programming
25	Mohammad Ghoniem, Hadrien Cambazard, Jean-Daniel Fekete, Narendra Jussien	Peeking in solver strategies using explanations visualization of dynamic graphs for constraint programming.	SOFTVIS	2005	DBLP DOI BibTeX RDF	finite domain solver, graph drawing algorithms for software visualization, visualization of algorithms, constraint programming, visual debugging
25	James D. Callahan, John M. Tyler	Parallel Implementation of a Frontal Finite Element Solver on Multiple Platforms.	SAC	1999	DBLP DOI BibTeX RDF	frontal solver, parallel, MPI, finite element, workstation clusters
25	Keying Wu, P. K. H. Ng, Xing Dong Jia, Richard M. M. Chen, A. M. Layfield	Performance tuning of a multiprocessor sparse matrix equation solver.	HICSS (1)	1995	DBLP DOI BibTeX RDF	multiprocessor sparse matrix equation solver, sparse matrix equation, linear simultaneous equations, electrical circuit, multiprocessor implementation, parallel direct method, parallel algorithms, circuit analysis computing, SPICE, SPICE, circuit simulation, sparse matrices, performance tuning
23	Yuri Evtushenko, Mikhail Posypkin, Israel Sigal	A framework for parallel large-scale global optimization.	Comput. Sci. Res. Dev.	2009	DBLP DOI BibTeX RDF	Parallel global optimization, Nonlinear programming, knapsack problems, Heuristic methods, Branch-and-bound methods
23	Filip Maric	Formalization and Implementation of Modern SAT Solvers.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Algorithms, Data structures, Software verification, DPLL, SAT solving
23	Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry	An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method.	FM	2009	DBLP DOI BibTeX RDF	Scope-bounded checking, computation graph, first-order logic, SAT, Alloy, white-box testing, lightweight formal method
23	Ilkka Niemelä	Integrating Answer Set Programming and Satisfiability Modulo Theories.	LPNMR	2009	DBLP DOI BibTeX RDF
23	Matthew Lewis 0004, Paolo Marin, Tobias Schubert 0001, Massimo Narizzano, Bernd Becker 0001, Enrico Giunchiglia	PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing.	SAT	2009	DBLP DOI BibTeX RDF	Parallel QBF Solving, Master/Slave Architecture, MPI, Message Passing
23	Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy	Solving (Weighted) Partial MaxSAT through Satisfiability Testing.	SAT	2009	DBLP DOI BibTeX RDF
23	Mate Soos, Karsten Nohl, Claude Castelluccia	Extending SAT Solvers to Cryptographic Problems.	SAT	2009	DBLP DOI BibTeX RDF
23	Adolfo Rodriguez, Luis Basañez, Enric Celaya	A Relational Positioning Methodology for Robot Task Specification and Execution.	IEEE Trans. Robotics	2008	DBLP DOI BibTeX RDF
23	Thomas George, Anshul Gupta, Vivek Sarin	A Recommendation System for Preconditioned Iterative Solvers.	ICDM	2008	DBLP DOI BibTeX RDF
23	Khalil Djelloul	Combination of decomposability and propagation for solving first-order constraints in decomposable theories.	SAC	2008	DBLP DOI BibTeX RDF	complete theory, first-order constraint satisfaction problems, first-order constraint solvers, first-order constraints, rewriting rules
23	Vadim Ryvchin, Ofer Strichman	Local Restarts.	SAT	2008	DBLP DOI BibTeX RDF
23	Yuji Shinano, Tetsuya Fujie	ParaLEX: A Parallel Extension for the CPLEX Mixed Integer Optimizer.	PVM/MPI	2007	DBLP DOI BibTeX RDF	Parallel Branch-and-cut, Mixed Integer Programming, Master-Worker
23	Maria Paola Bonacina, Mnacho Echenim	T-Decision by Decomposition.	CADE	2007	DBLP DOI BibTeX RDF
23	Karljohan E. Lundin Palmerius	Fast and High Precision Volume Haptics.	WHC	2007	DBLP DOI BibTeX RDF
23	Miquel Ramírez, Hector Geffner	Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT.	CP	2007	DBLP DOI BibTeX RDF
23	David Corsar, Derek H. Sleeman	KBS development through ontology mapping and ontology driven acquisition.	K-CAP	2007	DBLP DOI BibTeX RDF	problem solvers, ontology, reuse, mapping, knowledge acquisition, KBS
23	Íñigo Ugarte, Pablo Sanchez	Assertion checking of control dominated systems with nonlinear solvers.	MEMOCODE	2006	DBLP DOI BibTeX RDF
23	Alexander Metzner, Christian Herde	RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures.	RTSS	2006	DBLP DOI BibTeX RDF
23	Gerald R. Morris, Viktor K. Prasanna, Richard D. Anderson	An FPGA-Based Application-Specific Processor for Efficient Reduction of Multiple Variable-Length Floating-Point Data Sets.	ASAP	2006	DBLP DOI BibTeX RDF
23	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)
23	Zhaohui Fu, Yinlei Yu, Sharad Malik	Considering Circuit Observability Don't Cares in CNF Satisfiability.	DATE	2005	DBLP DOI BibTeX RDF
23	Islam Elkabani, Enrico Pontelli, Tran Cao Son	SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates.	LPNMR	2005	DBLP DOI BibTeX RDF
23	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
23	Lisa Torrey, Trevor Walker, Jude W. Shavlik, Richard Maclin	Using Advice to Transfer Knowledge Acquired in One Reinforcement Learning Task to Another.	ECML	2005	DBLP DOI BibTeX RDF
23	Yuji Shinano, Tetsuya Fujie, Yuusuke Kounoike	Effectiveness of Parallelizing the ILOG-CPLEX Mixed Integer Optimizer in the PUBB2 Framework.	Euro-Par	2003	DBLP DOI BibTeX RDF
23	Seung Jo Kim, Chang Sung Lee, Jeong Ho Kim, Minsu Joh, Sangsan Lee	IPSAP: A High-performance Parallel Finite Element Code for Large-scale Structural Analysis Based on Domain-wise Multifrontal Technique.	SC	2003	DBLP DOI BibTeX RDF
23	Greg Nelson	Foundations of a Constraint-Based Illustrator.	FroCoS	2002	DBLP DOI BibTeX RDF
23	Peixin Zhong, Margaret Martonosi, Pranav Ashar, Sharad Malik	Solving Boolean Satisfiability with Dynamic Hardware Configurations.	FPL	1998	DBLP DOI BibTeX RDF
23	Marco Baioletti, Stefano Marcugini, Alfredo Milani	An Extension of SATPLAN for Planning with Constraints.	AIMSA	1998	DBLP DOI BibTeX RDF
23	David Cyrluk, M. Oliver Möller, Harald Rueß	An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors.	CAV	1997	DBLP DOI BibTeX RDF
23	Michael Thuné, Krister Åhlander	Towards an Expressive Language for PDE Solvers.	ESOP	1996	DBLP DOI BibTeX RDF	composite grids, parallel, object-oriented, scientific computing
23	Sumit Sur, A. P. Wim Böhm	Analysis of non-strict functional implementations of the Dongarra-Sorensen eigensolver.	International Conference on Supercomputing	1994	DBLP DOI BibTeX RDF
23	Deb Banerjee, Thomas Tysinger, Wayne Smith	A scalable high-performance environment for fluid flow analysis on unstructured grids.	SC	1994	DBLP DOI BibTeX RDF
23	Pascal Van Hentenryck, Yves Deville	Operational Semantics of Constraint Logic Programming over Finite Domains.	PLILP	1991	DBLP DOI BibTeX RDF
21	Cosmina Chise, Ioan Jurca	Phymss: performance hybrid model solver and simulator based on UML MARTE diagrams.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	simulation, performance, automation, uml, hybrid model
21	Florian Pigorsch, Christoph Scholl 0001	An AIG-Based QBF-solver using SAT for preprocessing.	DAC	2010	DBLP DOI BibTeX RDF	Boolean satisfiability, quantified boolean formulas
21	Ashish Sabharwal	SymChaff: exploiting symmetry in a structure-aware satisfiability solver.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	SymChaff, Complete multi-class symmetry, Global symmetry, High-level representation, Planning, SAT, Boolean satisfiability
21	Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub	Experiences Running a Parallel Answer Set Solver on Blue Gene.	PVM/MPI	2009	DBLP DOI BibTeX RDF	Applications based on Message-Passing, Performance evaluation, Answer Set Programming
21	Jingchao Chen	Building a Hybrid SAT Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques.	SAT	2009	DBLP DOI BibTeX RDF	Conflict-driven, XOR reasoning, Hybrid solving technique, search pruning technique, Look-ahead, Boolean satisfiability (SAT)
21	David E. Johnson 0001, Elaine Cohen	Computing surface offsets and bisectors using a sampled constraint solver.	Graphics Interface	2009	DBLP BibTeX RDF
21	Sanjukta Bhowmick, Brice Toth, Padma Raghavan	Towards Low-Cost, High-Accuracy Classifiers for Linear Solver Selection.	ICCS (1)	2009	DBLP DOI BibTeX RDF
21	Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst	HAMPI: a solver for string constraints.	ISSTA	2009	DBLP DOI BibTeX RDF	string constraints, regular languages, context-free languages
21	Mariana Luderitz Kolberg, Luiz Gustavo Fernandes, Dalcidio Moraes Claudio	Dense Linear System: A Parallel Self-verified Solver.	Int. J. Parallel Program.	2008	DBLP DOI BibTeX RDF	Verified computing, Parallel computing, Linear systems
21	Ye Zhao 0003	Lattice Boltzmann based PDE solver on the GPU.	Vis. Comput.	2008	DBLP DOI BibTeX RDF	Laplace and Poisson equation, Volume smoothing, Diffusion, Image editing, Lattice Boltzmann model, Surface fairing
21	Arun V. Sathanur, Ritochit Chakraborty, Vikram Jandhyala	Accurate statistical analysis of a differential low noise amplifier using a combined SPICE-field solver approach.	ISCAS	2008	DBLP DOI BibTeX RDF
21	Mariana Luderitz Kolberg, Gerd Bohlender, Dalcidio Moraes Claudio	Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation.	VECPAR	2008	DBLP DOI BibTeX RDF	Topics of the conference list Numerical algorithms for CS? Parallel or Distributed Computation and Cluster Computation
21	Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem	Hardware based algorithm for conflict diagnosis in SAT solver.	AICCSA	2008	DBLP DOI BibTeX RDF
21	Francisco Azevedo	Cardinal: A Finite Sets Constraint Solver.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Constraint Logic Programming - PI, Primary Input - TG, Test Generation, CLP
21	Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem	Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver.	DATE	2007	DBLP DOI BibTeX RDF
21	Choon Hui Teo, Alexander J. Smola, S. V. N. Vishwanathan, Quoc V. Le	A scalable modular convex solver for regularized risk minimization.	KDD	2007	DBLP DOI BibTeX RDF	optimization, algorithms, convexity
21	Alberto Bertoldo	FEMS: An Adaptive Finite Element Solver.	IPDPS	2007	DBLP DOI BibTeX RDF
21	Shai Shalev-Shwartz, Yoram Singer, Nathan Srebro	Pegasos: Primal Estimated sub-GrAdient SOlver for SVM.	ICML	2007	DBLP DOI BibTeX RDF
21	Kim Hwa Lim, Joon-Ho Lee, Gang Ye, Qing Huo Liu	An efficient forward solver in electrical impedance tomography by spectral element method.	IEEE Trans. Medical Imaging	2006	DBLP DOI BibTeX RDF
21	Torsten Hoefler, Peter Gottschling, Wolfgang Rehm, Andrew Lumsdaine	Optimizing a Conjugate Gradient Solver with Non-Blocking Collective Operations.	PVM/MPI	2006	DBLP DOI BibTeX RDF
21	Markus Blatt, Peter Bastian	The Iterative Solver Template Library.	PARA	2006	DBLP DOI BibTeX RDF
21	Daisuke Maruyama, Incheon Paik, Mitsuteru Shinozawa	A Flexible and Dynamic CSP Solver for Web Service Composition in the Semantic Web Environment.	CIT	2006	DBLP DOI BibTeX RDF
21	Ben Browning, Anja Remshagen	A SAT-based solver for Q-ALL SAT.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	learning, logic programming, quantified Boolean formula
21	Rafiq Muhammad 0006, Peter J. Stuckey	A Stochastic Non-CNF SAT Solver.	PRICAI	2006	DBLP DOI BibTeX RDF
21	Malay K. Ganai, Muralidhar Talupur, Aarti Gupta	SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver.	TACAS	2006	DBLP DOI BibTeX RDF
21	Minoru Fujishima, Masahiro Shimura	On-chip high-speed solver of inverse problems based on quantum-computing principle.	ISCAS	2006	DBLP DOI BibTeX RDF
21	Thomas Strohmer, Roman Vershynin	A Randomized Solver for Linear Systems with Exponential Convergence.	APPROX-RANDOM	2006	DBLP DOI BibTeX RDF
21	Domagoj Babic, Alan J. Hu	Integration of supercubing and learning in a SAT solver.	ASP-DAC	2005	DBLP DOI BibTeX RDF
21	Fabrice Bouquet, Bruno Legeard, Fabien Peureux	CLPS-B - A constraint solver to animate a B specification.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	B notation, Evaluation of specifications, Animation, Constraint logic programming, Set constraints
21	Yuliya Lierler, Marco Maratea	Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs.	LPNMR	2004	DBLP DOI BibTeX RDF
21	Abdou Guermouche, Jean-Yves L'Excellent	Memory-Based Scheduling for a Parallel Multifrontal Solver.	IPDPS	2004	DBLP DOI BibTeX RDF	scheduling, memory, Sparse matrices, multifrontal method
21	Robert Piotr Bycul	A Graphical Interface to a Parallel Solver: PSGE Description Through an Application.	PARELEC	2004	DBLP DOI BibTeX RDF
21	Hideyuki Koshigoe	Direct Solver Based on FFT and SEL for Diffraction Problems with Distribution.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
21	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella	QuBE++: An Efficient QBF Solver.	FMCAD	2004	DBLP DOI BibTeX RDF