Search results for "solver"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Graham Hughes, Tevfik Bultan	Automated verification of access control policies using a SAT solver.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF	Access control, Automated verification
15	Teresa Alsinet, Felip Manyà, Jordi Planes	An efficient solver for weighted Max-SAT.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Weighted Branch and bound, Data structures, Heuristics, Lower bound, Max-SAT
15	Alex S. Fukunaga	Integrating Symmetry, Dominance, and Bound-and-Bound in a Multiple Knapsack Solver.	CPAIOR	2008	DBLP DOI BibTeX RDF
15	Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani	The MathSAT 4SMT Solver.	CAV	2008	DBLP DOI BibTeX RDF
15	Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio	The Barcelogic SMT Solver.	CAV	2008	DBLP DOI BibTeX RDF
15	Eijiro Takeuchi, Takashi Tsubouchi	Multi sensor map building based on sparse linear equations solver.	IROS	2008	DBLP DOI BibTeX RDF
15	Dimitris Gorpas, Kostas Politopoulos, Dido Yova	A new method for processing the forward solver data in fluorescence molecular imaging.	BIBE	2008	DBLP DOI BibTeX RDF
15	Jing Hu 0006, Steven F. Quigley, Andrew Chan 0002	An element-by-element preconditioned Conjugate Gradient solver of 3D tetrahedral finite elements on an FPGA coprocessor.	FPL	2008	DBLP DOI BibTeX RDF
15	Mathieu Luisier, Gerhard Klimeck, Andreas Schenk, Wolfgang Fichtner, Timothy B. Boykin	A Parallel Sparse Linear Solver for Nearest-Neighbor Tight-Binding Problems.	Euro-Par	2008	DBLP DOI BibTeX RDF
15	Kambiz Ghazinour, Ruth E. Shaw, Eric E. Aubanel, Lawrence E. Garey	A linear solver for benchmarking partitioners.	IPDPS	2008	DBLP DOI BibTeX RDF
15	Tamir Hazan, Amit Man, Amnon Shashua	A Parallel Decomposition Solver for SVM: Distributed dual ascend using Fenchel Duality.	CVPR	2008	DBLP DOI BibTeX RDF
15	Leonardo Mendonça de Moura, Nikolaj S. Bjørner	Z3: An Efficient SMT Solver.	TACAS	2008	DBLP DOI BibTeX RDF
15	Armin Biere, Robert Brummayer	Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver.	FMCAD	2008	DBLP DOI BibTeX RDF
15	Norhashidah Hj. Mohd. Ali, Kok Fu Ng	A New Iterative Eliiptic PDE Solver on a Distributed PC Cluster.	PDCAT	2008	DBLP DOI BibTeX RDF
15	Jacek Gondzio, Andreas Grothey	Parallel interior-point solver for structured quadratic programs: Application to financial planning problems.	Ann. Oper. Res.	2007	DBLP DOI BibTeX RDF	Structure exploitation, Stochastic programming, Interior point methods, Portfolio optimization
15	Anshul Gupta	A Shared- and distributed-memory parallel general sparse direct solver.	Appl. Algebra Eng. Commun. Comput.	2007	DBLP DOI BibTeX RDF	Sparse matrix factorization, Parallel sparse solvers, Sparse LU decomposition, Multifrontal methods
15	Won-Ki Jeong, P. Thomas Fletcher, Ran Tao 0011, Ross T. Whitaker	Interactive Visualization of Volumetric White Matter Connectivity in DT-MRI Using a Parallel-Hardware Hamilton-Jacobi Solver.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	Diffusion tensor visualization, interactivity, graphics hardware
15	Alain Billionnet, Sourour Elloumi	Using a Mixed Integer Quadratic Programming Solver for the Unconstrained Quadratic 0-1 Problem.	Math. Program.	2007	DBLP DOI BibTeX RDF	Quadratic 0-1 optimization, Convex quadratic relaxation, Semidefinite positive relaxation, Experiments, Integer programming, Max-cut
15	Thomas Hübner, Stefan Turek	An efficient and accurate short-characteristics solver for radiative transfer problems.	Computing	2007	DBLP DOI BibTeX RDF	AMS Subject Classifications 85A25, 35A25
15	Michael A. Heroux	Optimal Kernels to Optimal Solutions: Algorithm and Software Issues in Solver Development.	PDP	2007	DBLP DOI BibTeX RDF
15	Ulrich Langer, Walter Zulehner, Huidong Yang, Markus Baumgartner	GStokes: A Grid-enabled Solver for the 3D Stokes/Navier-Stokes System on Hybrid Meshes.	ISPDC	2007	DBLP DOI BibTeX RDF
15	Brian J. N. Wylie, Markus Geimer, Mike Nicolai, Markus Probst	Performance Analysis and Tuning of the XNS CFD Solver on Blue Gene/L.	PVM/MPI	2007	DBLP DOI BibTeX RDF	performance analyses, application tuning, scalability
15	Lucas Bordeaux, Lintao Zhang	A solver for quantified Boolean and linear constraints.	SAC	2007	DBLP DOI BibTeX RDF
15	Luc Buatois, Guillaume Caumon, Bruno Lévy 0001	Concurrent Number Cruncher: An Efficient Sparse Linear Solver on the GPU.	HPCC	2007	DBLP DOI BibTeX RDF
15	David Walter, Scott Little, Chris J. Myers	Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver.	ATVA	2007	DBLP DOI BibTeX RDF
15	Umer Zeeshan Ijaz, Bong Seok Kim, Tzu-Jen Kao, Anil Kumar Khambampati, Sin Kim, Min Chan Kim, Jonathan C. Newell, David Isaacson, Kyung Youn Kim	Mammography Phantom Studies Using 3D Electrical Impedance Tomography with Numerical Forward Solver.	FBIT	2007	DBLP DOI BibTeX RDF
15	Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub	clasp : A Conflict-Driven Answer Set Solver.	LPNMR	2007	DBLP DOI BibTeX RDF
15	Julian Dolby, Mandana Vaziri, Frank Tip	Finding bugs efficiently with a SAT solver.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	model checking, specification, slicing, SAT solving
15	Ioannis Mavroidis, Ioannis Papaefstathiou, Dionisios N. Pnevmatikatos	A Fast FPGA-Based 2-Opt Solver for Small-Scale Euclidean Traveling Salesman Problem.	FCCM	2007	DBLP DOI BibTeX RDF
15	Nachum Dershowitz, Ziyad Hanna, Alexander Nadel	Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver.	SAT	2007	DBLP DOI BibTeX RDF
15	Federico Heras, Javier Larrosa, Albert Oliveras	MiniMaxSat: A New Weighted Max-SAT Solver.	SAT	2007	DBLP DOI BibTeX RDF
15	Arun V. Sathanur, Ritochit Chakraborty, Vikram Jandhyala	Statistical analysis of RF circuits using combined circuit simulator-full wave field solver approach.	ICCAD	2007	DBLP DOI BibTeX RDF
15	Branislav Micusík, Tomás Pajdla	Multi-label image segmentation via max-sum solver.	CVPR	2007	DBLP DOI BibTeX RDF
15	Ricardo Soto 0001, Laurent Granvilliers	The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models.	ICTAI (1)	2007	DBLP DOI BibTeX RDF
15	Krzysztof Banas	Scalability Analysis for a Multigrid Linear Equations Solver.	PPAM	2007	DBLP DOI BibTeX RDF
15	Huidong Yang, Walter Zulehner, Ulrich Langer, Markus Baumgartner	A robust PDE solver for the 3D Stokes/Navier-Stokes systems on the grid environment.	GRID	2007	DBLP DOI BibTeX RDF
15	John K. Reid, Jennifer A. Scott	The Design of a New Out-of-Core Multifrontal Solver.	PARA	2006	DBLP DOI BibTeX RDF
15	Emmanuel Agullo, Abdou Guermouche, Jean-Yves L'Excellent	A Preliminary Out-of-Core Extension of a Parallel Multifrontal Solver.	Euro-Par	2006	DBLP DOI BibTeX RDF
15	Romanelli Lodron Zuim, José T. de Sousa, Claudionor José Nunes Coelho Jr.	A fast SAT solver algorithm best suited to reconfigurable hardware.	SBCCI	2006	DBLP DOI BibTeX RDF	formal verification, SAT, CNF, DPLL
15	Tai-Wen Yue, Zou-Chung Lee	Sudoku Solver by Q'tron Neural Networks.	ICIC (1)	2006	DBLP DOI BibTeX RDF
15	José Delpiano, Pablo Zegers	Semi-Autonomous Neural Networks Differential Equation Solver.	IJCNN	2006	DBLP DOI BibTeX RDF
15	Mona Safar, M. Watheq El-Kharashi, Ashraf Salem	FPGA-Based SAT Solver.	CCECE	2006	DBLP DOI BibTeX RDF
15	Fang Liu	ACM student research competition reception - CCA-LISI: on designing a common component architecture parallel sparse linear solver interface.	SC	2006	DBLP DOI BibTeX RDF
15	Oleg Iliev, Daniela Vasileva	On a Local Refinement Solver for Coupled Flow in Plain and Porous Media.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF	oil filter, coupled flow in plain and porous media, Brinkman, numerical simulation, local refinement, Navier-Stokes
15	Toshiaki Miyazaki	Boolean formulation for sensor allocation problem and its efficient solver.	MidSens	2006	DBLP DOI BibTeX RDF	combinational optimization, BDD, dynamic allocation
15	Ralf Gruber, Vincent Keller, Emmanuel Leriche, Marc-Antoine Habisreutinger	Can a Helmholtz solver run on a cluster?	CLUSTER	2006	DBLP DOI BibTeX RDF
15	Jinhyuk Choi, Geehyuk Lee	The Bifurcating Neuron Network 3 as Coloring Problem Solver and N-Ary Associative Memory.	ICONIP (1)	2006	DBLP DOI BibTeX RDF	bifurcating neuron, bifurcating neuron network, coloring problem, associative memory, pulse-coupled neural network
15	Hans van Maaren, Linda van Norden	Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	Horn, satisfiability, density, 3-SAT
15	Yoon-Ju Lee, Pedro C. Diniz, Mary W. Hall, Robert F. Lucas	Empirical Optimization for a Sparse Linear Solver: A Case Study.	Int. J. Parallel Program.	2005	DBLP DOI BibTeX RDF	Memory hierarchy optimization, performance tuning
15	Donald Chai, Andreas Kuehlmann	A fast pseudo-Boolean constraint solver.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
15	Tobias Schubert 0001, Matthew D. T. Lewis, Bernd Becker 0001	PaMira - A Parallel SAT Solver with Knowledge Sharing.	MTV	2005	DBLP DOI BibTeX RDF
15	Christoph Troyer, Daniele Baraldi, Dieter Kranzlmüller, Heinz Wilkening, Jens Volkert	Parallel Grid Adaptation and Dynamic Load Balancing for a CFD Solver.	PVM/MPI	2005	DBLP DOI BibTeX RDF
15	Tobias Schubert 0001, Bernd Becker 0001	Lemma Exchange in a Microcontroller Based Parallel SAT Solver.	ISVLSI	2005	DBLP DOI BibTeX RDF
15	Madhu K. Iyer, Ganapathy Parthasarathy, Kwang-Ting Cheng	Efficient Conflict-Based Learning in an RTL Circuit Constraint Solver.	DATE	2005	DBLP DOI BibTeX RDF
15	Hossein M. Sheini, Karem A. Sakallah	Pueblo: A Modern Pseudo-Boolean SAT Solver.	DATE	2005	DBLP DOI BibTeX RDF
15	Christopher Dartnell, Jean Sallantin	Assisting Scientific Discovery with an Adaptive Problem Solver.	Discovery Science	2005	DBLP DOI BibTeX RDF
15	Giovanni Angelini, Marco Ernandes, Marco Gori	Webcrow: A Web-Based Crosswords Solver.	INTETAIN	2005	DBLP DOI BibTeX RDF
15	Yinlei Yu, Sharad Malik	Validating the result of a Quantified Boolean Formula (QBF) solver: theory and practice.	ASP-DAC	2005	DBLP DOI BibTeX RDF
15	Dulcenéia Becker, Christopher P. Thompson	A Novel, Parallel PDE Solver for Unstructured Grids.	LSSC	2005	DBLP DOI BibTeX RDF
15	Roman Gershman, Ofer Strichman	HaifaSat: A New Robust SAT Solver.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
15	Yila Su, Lei Zheng, Ning Zhong 0001, Chunnian Liu, Jiming Liu 0001	Distributed Reasoning Based on Problem Solver Markup Language (PSML) - A Demonstration through Extended OWL.	EEE	2005	DBLP DOI BibTeX RDF
15	Pascal Hénon, Pierre Ramet, Jean Roman	On Using an Hybrid MPI-Thread Programming for the Implementation of a Parallel Sparse Direct Solver on a Network of SMP Nodes.	PPAM	2005	DBLP DOI BibTeX RDF
15	Jiachang Sun	Multi-color Difference Schemes of Helmholtz Equation and Its Parallel Fast Solver over 3-D Dodecahedron Partitions.	ICA3PP	2005	DBLP DOI BibTeX RDF
15	Margreet Nool, Michael M. J. Proot	Parallel Implementation of a Least-Squares Spectral Element Solver for Incompressible Flow Problems.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	spectral/hp elements method, parallelization, distributed memory, conjugate gradient method, least-squares method
15	Jürgen Schmidhuber	Optimal Ordered Problem Solver.	Mach. Learn.	2004	DBLP DOI BibTeX RDF	OOPS, bias-optimality, incremental optimal universal search, efficient planning and backtracking in program space, metasearching and metalearning, self-improvement
15	Mark Last, Menahem Friedman	Automated Detection of Injected Faults in a Differential Equation Solver.	HASE	2004	DBLP DOI BibTeX RDF
15	HoonSang Jin, Mohammad Awedh, Fabio Somenzi	CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking.	CAV	2004	DBLP DOI BibTeX RDF
15	Tobias Schubert 0001, Bernd Becker 0001	PICHAFF2 - A Hierarchical Parallel SAT Solver.	MTV	2004	DBLP DOI BibTeX RDF
15	Olivier Hoenen, Michel Mehrenberger, Eric Violard	Parallelization of an Adaptive Vlasov Solver.	PVM/MPI	2004	DBLP DOI BibTeX RDF
15	Bin Li, Michael S. Hsiao, Shuo Sheng	A Novel SAT All-Solutions Solver for Efficient Preimage Computation.	DATE	2004	DBLP DOI BibTeX RDF
15	Lengning Liu, Miroslaw Truszczynski	WSAT(CC) - A Fast Local-Search ASP Solver.	LPNMR	2004	DBLP DOI BibTeX RDF
15	Sandhya Krishnan, Sriram Krishnamoorthy, Gerald Baumgartner, Chi-Chung Lam, J. Ramanujam, P. Sadayappan, Venkatesh Choppella	Efficient Synthesis of Out-of-Core Algorithms Using a Nonlinear Optimization Solver.	IPDPS	2004	DBLP DOI BibTeX RDF
15	Abdulrahman A. Mirza	Learn As You Solve - Inventory Models Web Solver.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
15	Olivier Cozette, Abdou Guermouche, Gil Utard	Adaptive paging for a multifrontal solver.	ICS	2004	DBLP DOI BibTeX RDF	sparse numerical algorithm, virtual memory paging, multifrontal method, out-of-core computation
15	Marijn Heule, Mark Dufour, Joris E. van Zwieten, Hans van Maaren	March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
15	HoonSang Jin, Fabio Somenzi	CirCUs: A Hybrid Satisfiability Solver.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
15	Yogesh S. Mahajan, Zhaohui Fu, Sharad Malik	Zchaff2004: An Efficient SAT Solver.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
15	Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl	The Succinct Solver Suite.	TACAS	2004	DBLP DOI BibTeX RDF
15	Jinwen Xi, Peixin Zhong	Hardware/Software Co-Modeling of SAT Solver Based on Distributed Computing Elements using SystemC.	ICCD	2004	DBLP DOI BibTeX RDF
15	Éric Monfroy, Carlos Castro 0001	A Component Language for Hybrid Solver Cooperations.	ADVIS	2004	DBLP DOI BibTeX RDF
15	Teresa Alsinet, Felip Manyà, Jordi Planes	A Max-SAT Solver with Lazy Data Structures.	IBERAMIA	2004	DBLP DOI BibTeX RDF	data structures, heuristics, lower bound, branch and bound, Max-SAT
15	Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Li-C. Wang	An efficient finite-domain constraint solver for circuits.	DAC	2004	DBLP DOI BibTeX RDF	bit-vector arithmetic, constraints, integer linear programming, decision procedures, boolean satisfiability, circuits, design verification
15	Alexey Ershov, Ilia Ivanov, Serge Preis, Eugene Rukoleev, Dmitry Ushakov	LGS: Geometric Constraint Solver.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
15	Abdou Guermouche, Jean-Yves L'Excellent, Gil Utard	On the Memory Usage of a Parallel Multifrontal Solver.	IPDPS	2003	DBLP DOI BibTeX RDF	assembly tree, reordering techniques, memory, Sparse matrices, multifrontal method
15	Nolan Goodnight, Cliff Woolley, Gregory Lewin, David P. Luebke, Greg Humphreys	A multigrid solver for boundary value problems using programmable graphics hardware.	Graphics Hardware	2003	DBLP DOI BibTeX RDF
15	Renato Bruni	Solving Error Correction for Large Data Sets by Means of a SAT Solver.	SAT	2003	DBLP DOI BibTeX RDF
15	Cong Liu, Andreas Kuehlmann, Matthew W. Moskewicz	CAMA: A Multi-Valued Satisfiability Solver.	ICCAD	2003	DBLP DOI BibTeX RDF
15	Mandana Vaziri, Daniel Jackson 0001	Checking Properties of Heap-Manipulating Procedures with a Constraint Solver.	TACAS	2003	DBLP DOI BibTeX RDF
15	Xuan Zeng 0001, Sheng Huang, Yangfeng Su, Dian Zhou	An efficient Sylvester equation solver for time domain circuit simulation by wavelet collocation method.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
15	Julien Bohbot, Marc Zolver, Diego Klahr, Arnaud Torres	Three Dimensional Modelling of Combustion in a Direct Injection Diesel Engine Using a New Unstructured Parallel Solver.	ICCSA (1)	2003	DBLP DOI BibTeX RDF
15	Enrico Giunchiglia, Marco Maratea, Armando Tacchella	(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver.	CP	2003	DBLP DOI BibTeX RDF
15	Mahesh A. Iyer	Race: A Word-Level ATPG-Based Constraints Solver System For Smart Random Simulation.	ITC	2003	DBLP DOI BibTeX RDF
15	Gregory T. Balls, Scott B. Baden, Phillip Colella	SCALLOP: A Highly Scalable Parallel Poisson Solver in Three Dimensions.	SC	2003	DBLP DOI BibTeX RDF	computation-intensive applications, parallel and distributedalgorithms, program optimization and performance programming
15	Donald Chai, Andreas Kuehlmann	A fast pseudo-boolean constraint solver.	DAC	2003	DBLP DOI BibTeX RDF	0-1 ILP, pseudo-boolean, satisfiability
15	Tomi Suviola	Parallelization of a Lattice Boltzmann Suspension Flow Solver.	PARA	2002	DBLP DOI BibTeX RDF
15	Lintao Zhang, Sharad Malik	Conflict driven learning in a quantified Boolean Satisfiability solver.	ICCAD	2002	DBLP DOI BibTeX RDF
15	Takeshi Iwashita, Masaaki Shimasaki	Block Red-Black Ordering Method for Parallel Processing of ICCG Solver.	ISHPC	2002	DBLP DOI BibTeX RDF
15	Leonid G. Vorobiev, Richard C. York	Fast Poisson Solver for Space Charge Dominated Beam Simulation Based on the Template Potential Technique.	International Conference on Computational Science (3)	2002	DBLP DOI BibTeX RDF
15	Margreet Nool, Michael M. J. Proot	Parallel Implementation of a Least-Squares Spectral Element Solver for Incompressible Flow Problems.	International Conference on Computational Science (1)	2002	DBLP DOI BibTeX RDF
15	Fabrice Bouquet, Bruno Legeard, Fabien Peureux	CLPS-B - A Constraint Solver for B.	TACAS	2002	DBLP DOI BibTeX RDF	Evaluation of specifications, Animation, CSP, B Method, Set constraints, CLP