Search results for "solver"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Chendong Li, Jiayin Wang, Yichen Liu	Novel Collaborative Constraints Solving Techniques - Case Studies on Synchronizing a MIP Solver and a CP Solver.	CSC	2010	DBLP BibTeX RDF
19	Wenwu Chen, Bill Poirier	Parallel implementation of efficient preconditioned linear solver for grid-based applications in chemical physics. II: QMR linear solver.	J. Comput. Phys.	2006	DBLP DOI BibTeX RDF
19	Stephan Frank, Petra Hofstedt, Pierre R. Mai	A Flexible Meta-solver Framework for Constraint Solver Collaboration.	KI	2003	DBLP DOI BibTeX RDF
19	Thierry Coupez, Stéphane Marie	From a Direct Solver To a Parallel Iterative Solver in 3-d fOrming Simulation.	Int. J. High Perform. Comput. Appl.	1997	DBLP DOI BibTeX RDF
17	Juan Chen 0002, Ravi Chugh, Nikhil Swamy	Type-preserving compilation of end-to-end verification of security enforcement.	PLDI	2010	DBLP DOI BibTeX RDF	bytecode languages, compilers, authorization, functional programming, information flow, dependent types, security type systems, mobile code security
17	Jian Wan 0002, Josep Vehí, Ningsu Luo	A numerical approach to design control invariant sets for constrained nonlinear discrete-time systems with guaranteed optimality.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	Set inversion, Zonotope geometry, Control invariant sets, Global optimization, Interval analysis
17	Eva K. Lee	Machine Learning Framework for Classification in Medicine and Biology.	CPAIOR	2009	DBLP DOI BibTeX RDF
17	Eric Martin 0002, Jean Sallantin	A Dialectic Approach to Problem-Solving.	Discovery Science	2009	DBLP DOI BibTeX RDF
17	Jennifer Parham, Donald Chinn, D. E. Stevenson	Using Bloom's taxonomy to code verbal protocols of students solving a data structure problem.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	computer science education, problem solving, Bloom's taxonomy
17	Martin Gebser, Max Ostrowski, Torsten Schaub	Constraint Answer Set Solving.	ICLP	2009	DBLP DOI BibTeX RDF
17	Jason Belt, Robby, Xianghua Deng	Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	program analysis, symbolic execution, decision procedure
17	Shai Haim, Toby Walsh	Restart Strategy Selection Using Machine Learning Techniques.	SAT	2009	DBLP DOI BibTeX RDF
17	Iddo Hanniel, Kirk Haller	Solving global geometric constraints on free-form curves.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF
17	Himanshu Jain, Edmund M. Clarke	Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts.	DAC	2009	DBLP DOI BibTeX RDF	NNF, verification, Boolean satisfiability, DPLL
17	Klaus Jansen, Hu Zhang 0004	Approximation algorithms for general packing problems and their application to the multicast congestion problem.	Math. Program.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68W25, 90C25, 90C05, 68W40, 68M10
17	Andrew John Sadler, Carmen Gervet	Enhancing set constraint solvers with lexicographic bounds.	J. Heuristics	2008	DBLP DOI BibTeX RDF	Artificial intelligence, Constraint programming, Modelling languages
17	Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli	Evaluating ASP and Commercial Solvers on the CSPLib.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Declarative constraint modelling, Problem reformulation, Experimental evaluation among solvers, OPL, Constraint programming, Answer Set Programming
17	David DuBois, Andrew DuBois, Thomas Boorman, Carolyn Connor Davenport, Steve Poole 0001	An Implementation of the Conjugate Gradient Algorithm on FPGAs.	FCCM	2008	DBLP DOI BibTeX RDF
17	Jinbo Huang	Universal Booleanization of Constraint Models.	CP	2008	DBLP DOI BibTeX RDF
17	Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä	Strategies for Solving SAT in Grids by Randomized Search.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
17	Marco Morandini, Paolo Mantegazza	Using dense storage to solve small sparse linear systems.	ACM Trans. Math. Softw.	2007	DBLP DOI BibTeX RDF	Sparse unsymmetric matrices, linear equations
17	Markus Nordén, Henrik Löf, Jarmo Rantakokko, Sverker Holmgren	Dynamic Data Migration for Structured AMR Solvers.	Int. J. Parallel Program.	2007	DBLP DOI BibTeX RDF	SAMR, Geographical locality, Shared memory, OpenMP, Graph partitioning, Adaptive mesh refinement, cc-NUMA, Page migration
17	Jeffrey S. Ovall	Hierarchical matrix techniques for a domain decomposition algorithm.	Computing	2007	DBLP DOI BibTeX RDF	AMS Subject Classifications 65F10, 65N30, 65N55, 65F30, 65F50
17	Guillaume Latu, Nicolas Crouseilles, Virginie Grandgirard, Eric Sonnendrücker	Gyrokinetic Semi-lagrangian Parallel Simulation Using a Hybrid OpenMP/MPI Programming.	PVM/MPI	2007	DBLP DOI BibTeX RDF
17	Shinichiro Nakaoka, Shizuko Hattori, Fumio Kanehiro, Shuuji Kajita, Hirohisa Hirukawa	Constraint-based dynamics simulator for humanoid robots with shock absorbing mechanisms.	IROS	2007	DBLP DOI BibTeX RDF
17	Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna	Disk Based Software Verification via Bounded Model Checking.	APSEC	2007	DBLP DOI BibTeX RDF
17	Horst Samulowitz, Fahiem Bacchus	Dynamically Partitioning for Solving QBF.	SAT	2007	DBLP DOI BibTeX RDF
17	Min Ni, Seda Ogrenci Memik	Early planning for clock skew scheduling during register binding.	ICCAD	2007	DBLP DOI BibTeX RDF
17	Kristina Marasovic, Bojana Dalbelo Basic, Vuko Brigljevic	Process Control of an Event Filter Farm for a Particle Physics Experiment Based on Expert System Technology.	KES (1)	2007	DBLP DOI BibTeX RDF	expert systems, recovery, Process control, fault detection and diagnosis
17	João Marques-Silva 0001, Inês Lynce	Towards Robust CNF Encodings of Cardinality Constraints.	CP	2007	DBLP DOI BibTeX RDF
17	Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown	: The Design and Analysis of an Algorithm Portfolio for SAT.	CP	2007	DBLP DOI BibTeX RDF
17	Lin Shi, Yizhou Yu, Nathan Bell, Wei-Wen Feng	A fast multigrid algorithm for mesh deformation.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	graph hierarchy, prolongation/restriction operators, constraints, Laplacian, mesh editing
17	Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann	Solution Strategies for Multi-domain Constraint Logic Programs.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
17	Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani	Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis.	LPAR	2006	DBLP DOI BibTeX RDF
17	Shujun Deng, Weimin Wu, Jinian Bian	Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving.	CSCWD	2006	DBLP DOI BibTeX RDF
17	Robert Strzodka, Dominik Göddeke	Pipelined Mixed Precision Algorithms on FPGAs for Fast and Accurate PDE Solvers from Low Precision Components.	FCCM	2006	DBLP DOI BibTeX RDF
17	Shuvendu K. Lahiri, Madanlal Musuvathi	Solving Sparse Linear Constraints.	IJCAR	2006	DBLP DOI BibTeX RDF
17	Himanshu Jain, Constantinos Bartzis, Edmund M. Clarke	Satisfiability Checking of Non-clausal Formulas Using General Matings.	SAT	2006	DBLP DOI BibTeX RDF
17	Yonghong Yang, Changyun Zhu, Zhenyu (Peter) Gu, Li Shang, Robert P. Dick	Adaptive multi-domain thermal modeling and analysis for integrated circuit synthesis and design.	ICCAD	2006	DBLP DOI BibTeX RDF
17	Yiming Li 0005, Cheng-Kai Chen, Yen-Yu Cho	A unified optimization framework for microelectronics industry.	GECCO	2006	DBLP DOI BibTeX RDF	evolutionary and deterministic methods, reverse modeling problem, optimization, traveling salesman problem, antenna, simulation-based optimization
17	Sean Safarpour, Andreas G. Veneris, Rolf Drechsler	Integrating observability don't cares in all-solution SAT solvers.	ISCAS	2006	DBLP DOI BibTeX RDF
17	Michael Lazzareschi, Tzu-Yi Chen	Using Performance Profiles to Evaluate Preconditioners for Iterative Methods.	ICCSA (3)	2006	DBLP DOI BibTeX RDF	Iterative methods, preconditioners, performance profiles
17	Derek H. Sleeman, Stuart W. Chalmers	Assisting Domain Experts to Formulate and Solve Constraint Satisfaction Problems.	EKAW	2006	DBLP DOI BibTeX RDF
17	David Darjany, Burkhard Englert, Eun Heui Kim	Implementing Overlapping Domain Decomposition Methods on a Virtual Parallel Machine.	ISPA Workshops	2006	DBLP DOI BibTeX RDF
17	Cameron Brien, Sharad Malik	Understanding the Dynamic Behavior of Modern DPLL SAT Solvers through Visual Analysis.	FMCAD	2006	DBLP DOI BibTeX RDF
17	Tiankai Tu, Hongfeng Yu 0001, Leonardo Ramírez-Guzmán, Jacobo Bielak, Omar Ghattas, Kwan-Liu Ma, David R. O'Hallaron	Scalable systems software - From mesh generation to scientific visualization: an end-to-end approach to parallel supercomputing.	SC	2006	DBLP DOI BibTeX RDF
17	Thi-Bich-Hanh Dao, Khalil Djelloul	Solving First-Order Constraints in the Theory of the Evaluated Trees.	CSCLP	2006	DBLP DOI BibTeX RDF
17	Natarajan Viswanathan, Chris C. N. Chu	FastPlace: efficient analytical placement using cell shifting, iterative local refinement, and a hybrid net model.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
17	Leo J. Grady, Tolga Tasdizen, Ross T. Whitaker	A geometric multigrid approach to solving the 2D inhomogeneous Laplace equation with internal Dirichlet boundary conditions.	ICIP (2)	2005	DBLP DOI BibTeX RDF
17	Xiping Liu, Wan-Chun Dou, Guihai Chen, Shijie Cai, Jiashan Tang	Autonomous-Centered Problem Allocation Oriented to Cooperation.	APPT	2005	DBLP DOI BibTeX RDF
17	HoonSang Jin, HyoJung Han, Fabio Somenzi	Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit.	TACAS	2005	DBLP DOI BibTeX RDF
17	Miguel Rios, Vladimir Marianov, Cristian Abaroa	Design of Heterogeneous Traffic Networks Using Simulated Annealing Algorithms.	ICOIN	2005	DBLP DOI BibTeX RDF
17	Hossein M. Sheini, Bart Peintner, Karem A. Sakallah, Martha E. Pollack	On Solving Soft Temporal Constraints Using SAT Techniques.	CP	2005	DBLP DOI BibTeX RDF
17	Kostas Stergiou 0001	Repair-Based Methods for Quantified CSPs.	CP	2005	DBLP DOI BibTeX RDF
17	Alberto Bemporad, Nicolò Giorgetti	SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems.	CPAIOR	2004	DBLP DOI BibTeX RDF
17	Malay K. Ganai, Aarti Gupta, Pranav Ashar	Efficient Modeling of Embedded Memories in Bounded Model Checking.	CAV	2004	DBLP DOI BibTeX RDF
17	Xiang Zhao, Phil G. Richards, Sijun Zhang	A parallel algorithm for Algebraic MultiGrid.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	algebraic multi-grid, parallel algorithms, parallel computing, numerical algorithms
17	Seyda Topaloglu, Irem Ozkarahan	Comparison of Different Variable and Value Order Strategies for the Optimum Solution of a Single Machine Scheduling Problem with Sequence-Dependent Setups.	ISCIS	2004	DBLP DOI BibTeX RDF
17	Spencer K. L. Fung, Denny J. Zheng, Ho-fung Leung, Jimmy Ho-Man Lee, Hon Wai Chun	A Framework for Guided Complete Search for Solving Constraint Satisfaction Problems and Some of Its Instances.	ICTAI	2004	DBLP DOI BibTeX RDF
17	Stephen M. Majercik	Nonchronological Backtracking in Stochastic Boolean Satisfiability.	ICTAI	2004	DBLP DOI BibTeX RDF
17	Christian Thiffault, Fahiem Bacchus, Toby Walsh	Solving Non-clausal Formulas with DPLL Search.	CP	2004	DBLP DOI BibTeX RDF
17	Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey	Herbrand Constraints in HAL.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
17	Arathi Ramani, Igor L. Markov	Automatically Exploiting Symmetries in Constraint Programming.	CSCLP	2004	DBLP DOI BibTeX RDF
17	Terence Kelly	Generalized Knapsack Solvers for Multi-unit Combinatorial Auctions: Analysis and Application to Computational Resource Allocation.	AMEC	2004	DBLP DOI BibTeX RDF
17	Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi	Random 3-SAT: The Plot Thickens.	Constraints An Int. J.	2003	DBLP DOI BibTeX RDF
17	Evguenii I. Goldberg, Yakov Novikov	Verification of Proofs of Unsatisfiability for CNF Formulas.	DATE	2003	DBLP DOI BibTeX RDF
17	Yichen Xie 0001, Andy Chou, Dawson R. Engler	ARCHER: using symbolic, path-sensitive analysis to detect memory access errors.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	memory access errors, security, static analysis, error detection, buffer overflow, buffer overrun
17	Marc Berndl, Ondrej Lhoták, Feng Qian, Laurie J. Hendren, Navindra Umanee	Points-to analysis using BDDs.	PLDI	2003	DBLP DOI BibTeX RDF	binary decision diagrams, points-to analysis
17	Fahiem Bacchus, Jonathan Winter	Effective Preprocessing with Hyper-Resolution and Equality Reduction.	SAT	2003	DBLP DOI BibTeX RDF
17	Nitin Lamba, Mark Dietz, Daniel P. Johnson, Mark S. Boddy	A Method for Global Optimization of Large Systems of Quadratic Constraints.	COCOS	2003	DBLP DOI BibTeX RDF
17	Lin Xu, Berthe Y. Choueiry	A New Efficient Algorithm for Solving the Simple Temporal Problem.	TIME	2003	DBLP DOI BibTeX RDF
17	Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee	Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.	CP	2003	DBLP DOI BibTeX RDF
17	Carlos Castro 0001, Éric Monfroy, Christophe Ringeissen	A Rule Language for Interaction.	CSCLP	2003	DBLP DOI BibTeX RDF
17	Chong-Kan Chiu, Jimmy Ho-Man Lee	Efficient Interval Linear Equality Solving in Constraint Logic Programming.	Reliab. Comput.	2002	DBLP DOI BibTeX RDF
17	Fadi A. Aloul, Soha Hassoun, Karem A. Sakallah, David T. Blaauw	Robust SAT-Based Search Algorithm for Leakage Power Reduction.	PATMOS	2002	DBLP DOI BibTeX RDF
17	Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey	To the Gates of HAL: A HAL Tutorial.	FLOPS	2002	DBLP DOI BibTeX RDF
17	A. J. C. Beliën, Bart van der Holst, Margreet Nool, Auke van der Ploeg, J. P. Goedbloed	Application of the Jacobe-Davidson Method to Spectral Calculations in Magnetohydrodynamics.	HPCN	2000	DBLP DOI BibTeX RDF
17	Francisco Azevedo, Pedro Barahona	Modelling Digital Circuits Problems with Set Constraints.	Computational Logic	2000	DBLP DOI BibTeX RDF
17	Peixin Zhong, Margaret Martonosi, Pranav Ashar, Sharad Malik	Using configurable computing to accelerate Boolean satisfiability.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
17	Ghassan Kwaiter	A General Approach to Constraint Solving for Declarative Modeling Domain.	IV	1999	DBLP DOI BibTeX RDF	Hierarchical Constraints and Intervals Propagation, Constraint Satisfaction Problem, Declarative Modeling, Dynamical Constraints
17	Peter J. Stuckey, Vincent W. L. Tam	Models for Using Stochastic Constraint Solvers in Constraint Logic Programming.	PLILP	1996	DBLP DOI BibTeX RDF
17	Toru Ishida 0001, Richard E. Korf	Moving-Target Search: A Real-Time Search for Changing Goals.	IEEE Trans. Pattern Anal. Mach. Intell.	1995	DBLP DOI BibTeX RDF	real-time, learning, Search, problem solving, commitment, reactiveness, deliberation, moving target
17	Kazuro Hamada, Toshimitsu Baba, Ken-ichi Sato, Masanao Yufu	Hybridizing a Genetic Algorithm with Rule-Based Reasoning for Production Planning.	IEEE Expert	1995	DBLP DOI BibTeX RDF	steelmaking process, genetic algorithms, operations research, process scheduling, rule-based expert system
17	Philippe Codognet, Daniel Diaz 0001	clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving.	PLILP	1994	DBLP DOI BibTeX RDF
17	Kim Marriott, Peter J. Stuckey	The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering.	POPL	1993	DBLP DOI BibTeX RDF
17	Pierre Lim, Peter J. Stuckey	A Constraint Logic Programming Shell.	PLILP	1990	DBLP DOI BibTeX RDF
15	Ming Chuang, Michael M. Kazhdan	A real-time screened-Poisson solver for interactive surface editing.	SI3D	2010	DBLP DOI BibTeX RDF
15	Juntao Ye, Robert E. Webber, Yangsheng Wang	A reduced unconstrained system for the cloth dynamics solver.	Vis. Comput.	2009	DBLP DOI BibTeX RDF	Direct-iterative method, Matrix reordering, Physically based modeling, Cloth simulation, Preconditioner, Direct method
15	Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia	Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic.	CAV	2009	DBLP DOI BibTeX RDF
15	Raffaele Cipriano, Luca Di Gaspero, Agostino Dovier	A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal + + .	Hybrid Metaheuristics	2009	DBLP DOI BibTeX RDF
15	Dimitar Dimitrov 0001, Pierre-Brice Wieber, Olivier Stasse, Hans Joachim Ferreau, Holger Diedam	An optimized Linear Model Predictive Control solver for online walking motion generation.	ICRA	2009	DBLP DOI BibTeX RDF
15	Claire Lefèvre, Pascal Nicolas	The First Version of a New ASP Solver : ASPeRiX.	LPNMR	2009	DBLP DOI BibTeX RDF
15	Martin Gebser, Benjamin Kaufmann, Torsten Schaub	The Conflict-Driven Answer Set Solver clasp: Progress Report.	LPNMR	2009	DBLP DOI BibTeX RDF
15	Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün, Dong Zhu	Using a SAT solver to generate checking sequences.	ISCIS	2009	DBLP DOI BibTeX RDF
15	Alexander Kalinkin, Yuri M. Laevsky, Sergey Gololobov	2D Fast Poisson Solver for High-Performance Computing.	PaCT	2009	DBLP DOI BibTeX RDF
15	Thomas Bouton, Diego Caminha Barbosa De Oliveira, David Déharbe, Pascal Fontaine	veriT: An Open, Trustable and Efficient SMT-Solver.	CADE	2009	DBLP DOI BibTeX RDF
15	Kei Ohmura, Kazunori Ueda	c-sat: A Parallel SAT Solver for Clusters.	SAT	2009	DBLP DOI BibTeX RDF
15	Robert Brummayer, Armin Biere	Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays.	TACAS	2009	DBLP DOI BibTeX RDF
15	Onkar Sahni, Min Zhou, Mark S. Shephard, Kenneth E. Jansen	Scalable implicit finite element solver for massively parallel processing with demonstration to 160K cores.	SC	2009	DBLP DOI BibTeX RDF
15	Junqing Sun, Gregory D. Peterson, Olaf O. Storaasli	High-Performance Mixed-Precision Linear Solver for FPGAs.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF