Search results for "solver"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Meera Sitharam, Adam Arbree, Yong Zhou 0002, Naganandhini Kohareswaran	Solution space navigation for geometric constraint systems.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	Root selection for geometric constraint systems, constraint graphs, cyclical and 3D geometric constraint systems, decomposition of geometric constraint systems, degree of freedom analysis, feature-based and assembly modeling, underconstrained and overconstrained systems, variational geometric constraint solving, well constrained systems, conceptual design
11	Peter Kemper, Dennis Müller 0003, Axel Thümmler	Combining Response Surface Methodology with Numerical Methods for Optimization of Markovian Models.	IEEE Trans. Dependable Secur. Comput.	2006	DBLP DOI BibTeX RDF	structured and very large systems, Markov processes, communication networks, Constrained optimization, sparse, performance analysis and design aids
11	Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano	Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs.	CPAIOR	2006	DBLP DOI BibTeX RDF
11	Gara Miranda-Valladares, Coromoto León	OpenMP Skeletons for Tree Searches.	PDP	2006	DBLP DOI BibTeX RDF
11	Marc Herbstritt, Bernd Becker 0001, Christoph Scholl 0001	Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs.	MTV	2006	DBLP DOI BibTeX RDF
11	Ozcan Ozturk 0001, G. Chen, Mahmut T. Kandemir, Mustafa Karaköy	An Integer Linear Programming Based Approach to Simultaneous Memory Space Partitioning and Data Allocation for Chip Multiprocessors.	ISVLSI	2006	DBLP DOI BibTeX RDF
11	Lutz Gross, Ben Cumming, Ken Steube, Dion Weatherley	A Python Module for PDE-Based Numerical Modelling.	PARA	2006	DBLP DOI BibTeX RDF
11	Siamak Tazari, Matthias Müller-Hannemann, Karsten Weihe	Workload Balancing in Multi-stage Production Processes.	WEA	2006	DBLP DOI BibTeX RDF
11	Xuan Zeng 0001, Lihong Feng, Yangfeng Su, Wei Cai 0003, Dian Zhou, Charles C. Chiang	Time domain model order reduction by wavelet collocation method.	DATE	2006	DBLP DOI BibTeX RDF
11	Tod Courtney, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders	Data Analysis and Visualization within the Möbius Modeling Environment.	QEST	2006	DBLP DOI BibTeX RDF
11	Sergio Greco, Cristian Molinaro, Irina Trubitsyna	Implementation and Experimentation of the Logic Language NP Datalog.	DEXA	2006	DBLP DOI BibTeX RDF
11	Jun-ichi Imura, Hiromichi Matsushima	Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints.	HSCC	2006	DBLP DOI BibTeX RDF
11	Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino	A Functorial Framework for Constraint Normal Logic Programming.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
11	James J. Lu, M. Jeremy Scoggins	Specifying and solving Boolean constraint problems in relational databases: a case study.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF
11	José M. Badía, Peter Benner, Rafael Mayo 0002, Enrique S. Quintana-Ortí	Parallel Solution of Large-Scale and Sparse Generalized Algebraic Riccati Equations.	Euro-Par	2006	DBLP DOI BibTeX RDF	generalized algebraic Riccati equation, Newton’s method, generalized Lyapunov equation, LR-ADI iteration, parallel algorithms
11	Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand	An optimal approach to the task allocation problem on hierarchical architectures.	IPDPS	2006	DBLP DOI BibTeX RDF
11	Shujun Deng, Weimin Wu, Jinian Bian	Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving.	CSCWD (Selected Papers)	2006	DBLP DOI BibTeX RDF
11	Jeffrey H. Kingston	The KTS High School Timetabling System.	PATAT	2006	DBLP DOI BibTeX RDF
11	Sergey P. Shlepakov	Functional Equations in Shostak Theories.	CSR	2006	DBLP DOI BibTeX RDF
11	Hossein M. Sheini, Karem A. Sakallah	From Propositional Satisfiability to Satisfiability Modulo Theories.	SAT	2006	DBLP DOI BibTeX RDF
11	Daijue Tang, Sharad Malik	Solving Quantified Boolean Formulas with Circuit Observability Don't Cares.	SAT	2006	DBLP DOI BibTeX RDF
11	Hantao Zhang 0001	A Complete Random Jump Strategy with Guiding Paths.	SAT	2006	DBLP DOI BibTeX RDF
11	Ilya Mironov, Lintao Zhang	Applications of SAT Solvers to Cryptanalysis of Hash Functions.	SAT	2006	DBLP DOI BibTeX RDF
11	Marc Thurley	sharpSAT - Counting Models with Advanced Component Caching and Implicit BCP.	SAT	2006	DBLP DOI BibTeX RDF
11	Yu Liang, Ramdev Kanapady, Kumar K. Tamma	An Efficient Parallel Finite-Element-Based Domain Decomposition Iterative Technique With Polynomial Preconditioning.	ICPP Workshops	2006	DBLP DOI BibTeX RDF	distributed format, polynomial preconditioner, finite element, domain decomposition, linear equations, GMRES
11	Josep Argelich, Xavier Domingo, Chu Min Li, Felip Manyà, Jordi Planes	Towards Solving Many-Valued MaxSAT.	ISMVL	2006	DBLP DOI BibTeX RDF
11	Ralf Deiterding, Fehmi Cirak, Sean Mauch, Daniel I. Meiron	A Virtual Test Facility for Simulating Detonation-Induced Fracture of Thin Flexible Shells.	International Conference on Computational Science (2)	2006	DBLP DOI BibTeX RDF
11	Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu	Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants.	TACAS	2006	DBLP DOI BibTeX RDF
11	Ian P. Gent, Christopher Jefferson, Ian Miguel	Watched Literals for Constraint Propagation in Minion.	CP	2006	DBLP DOI BibTeX RDF
11	Bertrand Neveu, Gilles Chabert, Gilles Trombettoni	When Interval Analysis Helps Inter-block Backtracking.	CP	2006	DBLP DOI BibTeX RDF
11	Hyondeuk Kim, Fabio Somenzi	Finite Instantiations for Integer Difference Logic.	FMCAD	2006	DBLP DOI BibTeX RDF
11	Tim Hultberg	FLOPC++ An Algebraic Modeling Language Embedded in C++.	OR	2006	DBLP DOI BibTeX RDF
11	Irene Moser, Tim Hendtlass	On the Behaviour of Extremal Optimisation When Solving Problems with Hidden Dynamics.	IEA/AIE	2006	DBLP DOI BibTeX RDF
11	Chuanyi Yang, Swagato Chakraborty, Dipanjan Gope, Vikram Jandhyala	A parallel low-rank multilevel matrix compression algorithm for parasitic extraction of electrically large structures.	DAC	2006	DBLP DOI BibTeX RDF	parallel, MPI, compression, parasitics
11	Mukul R. Prasad, Armin Biere, Aarti Gupta	A survey of recent advances in SAT-based formal verification.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Model checking, Verification, ATPG, SAT, QBF
11	Bing Li, Chao Wang 0001, Fabio Somenzi	Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Unsatisfiability proof, Bounded model checking, Satisfiability problem, Abstraction refinement
11	Mark H. Carpenter, C. A. Kennedy, Hester Bijl, S. A. Viken, Veer N. Vatsa	Fourth-Order Runge-Kutta Schemes for Fluid Mechanics Applications.	J. Sci. Comput.	2005	DBLP DOI BibTeX RDF	backward differentiation formulae, modified extended efficiency, convection-diffusion-reaction, turbulence, time discretization, Runge-Kutta, High-order
11	Bernard Jurkowiak, Chu Min Li, Gil Utard	A Parallelization Scheme Based on Work Stealing for a Class of SAT Solvers.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	parallelism, automated theorem proving, SAT problem
11	Jesús Manuel Almendros-Jiménez, Antonio Corral	Solving Constraints on Sets of Spatial Objects.	PADL	2005	DBLP DOI BibTeX RDF
11	Andreas Bauer 0002	Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles.	CPAIOR	2005	DBLP DOI BibTeX RDF	formal specification, model based reasoning, system monitoring, model based diagnosis, SAT-solving
11	Chao Wang 0001, Franjo Ivancic, Malay K. Ganai, Aarti Gupta	Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination.	LPAR	2005	DBLP DOI BibTeX RDF
11	Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli	A Pseudo-Deterministic Functional ATPG based on EFSM Traversing.	MTV	2005	DBLP DOI BibTeX RDF
11	ShengYu Shen, Ying Qin, Sikun Li	A Faster Counterexample Minimization Algorithm Based on Refutation Analysis.	DATE	2005	DBLP DOI BibTeX RDF
11	Xun Liu, Yuantao Peng, Marios C. Papaefthymiou	RIP: An Efficient Hybrid Repeater Insertion Scheme for Low Power.	DATE	2005	DBLP DOI BibTeX RDF
11	ShengYu Shen, Ying Qin, Sikun Li	A fast counterexample minimization approach with refutation analysis and incremental SAT.	ASP-DAC	2005	DBLP DOI BibTeX RDF
11	Gara Miranda-Valladares, Coromoto León	An OpenMP Skeleton for the A* Heuristic Search.	HPCC	2005	DBLP DOI BibTeX RDF
11	Paola Belardini, Claudio Bertoli, Stefania Corsaro, Pasqua D'Ambra	The Impact of Different Stiff ODE Solvers in Parallel Simulation of Diesel Combustion.	HPCC	2005	DBLP DOI BibTeX RDF
11	Horacio Martinez-Alfaro, Griselda P. Cervantes-Casillas	Performance Improvement of Ad-Hoc Networks by Using a Behavior-Based Architecture.	MICAI	2005	DBLP DOI BibTeX RDF
11	Ovidiu Daescu, James D. Palmer	1-link shortest paths in weighted regions.	SCG	2005	DBLP DOI BibTeX RDF
11	Edmond S. L. Ho, Taku Komura, Rynson W. H. Lau	Computing inverse kinematics with linear programming.	VRST	2005	DBLP DOI BibTeX RDF	real-time motion synthesis, linear programming, inverse kinematics
11	Daniela Vasileva, Anton Kuut, Pieter W. Hemker	An Adaptive Multigrid Strategy for Convection-Diffusion Problems.	LSSC	2005	DBLP DOI BibTeX RDF
11	Ludovic Langevine	Gentra4cp: A Generic Trace Format for Constraint Programming.	ICLP	2005	DBLP DOI BibTeX RDF
11	Ozcan Ozturk 0001, Mahmut T. Kandemir, Mary Jane Irwin	Increasing on-chip memory space utilization for embedded chip multiprocessors through data compression.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	data compression, chip multiprocessors, optimizing compiler
11	Nachum Dershowitz, Ziyad Hanna, Alexander Nadel	A Clause-Based Heuristic for SAT Solvers.	SAT	2005	DBLP DOI BibTeX RDF
11	Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard	Optimizations for Compiling Declarative Models into Boolean Formulas.	SAT	2005	DBLP DOI BibTeX RDF
11	Gilles Audemard, Lakhdar Sais	A Symbolic Search Based Approach for Quantified Boolean Formulas.	SAT	2005	DBLP DOI BibTeX RDF	Satisfiability, Binary decision diagram, Quantified boolean formula
11	Alexander Metzner, Martin Fränzle, Christian Herde, Ingo Stierand	Scheduling Distributed Real-Time Systems by Satisfiability Checking.	RTCSA	2005	DBLP DOI BibTeX RDF
11	Spencer K. L. Fung, Ho-fung Leung, Jimmy Ho-Man Lee	Guided Complete Search for Nurse Rostering Problem.	ICTAI	2005	DBLP DOI BibTeX RDF
11	Tan Saw Chin	An Ant Algorithm for Single-Hop Wavelength Assignment in WDM Mesh Network.	ICTAI	2005	DBLP DOI BibTeX RDF
11	Arnaud Lallouet, Andrei Legtchenko	Consistency for Partially Defined Constraints.	ICTAI	2005	DBLP DOI BibTeX RDF
11	Kameshwar Chandrasekar, Michael S. Hsiao	State Set Management for SAT-based Unbounded Model Checking.	ICCD	2005	DBLP DOI BibTeX RDF
11	Angela Liew, David Sundaram	Complex Decision Making Processes: their Modelling and Support.	HICSS	2005	DBLP DOI BibTeX RDF
11	Luca Benini, Davide Bertozzi, Alessio Guerri, Michela Milano	Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation.	CP	2005	DBLP DOI BibTeX RDF
11	Horst Samulowitz, Fahiem Bacchus	Using SAT in QBF.	CP	2005	DBLP DOI BibTeX RDF
11	Hadrien Cambazard, Narendra Jussien	Integrating Benders Decomposition Within Constraint Programming.	CP	2005	DBLP DOI BibTeX RDF
11	Tariq Omari, Greg Franks, C. Murray Woodside, Amy Pan	Solving layered queueing networks of large client-server systems with symmetric replication.	WOSP	2005	DBLP DOI BibTeX RDF
11	Kazuhisa Chiba, Shigeru Obayashi, Kazuhiro Nakahashi, Hiroyuki Morino	High-Fidelity Multidisciplinary Design Optimization of Wing Shape for Regional Jet Aircraft.	EMO	2005	DBLP DOI BibTeX RDF
11	Gabriella Cortellessa, Vittoria Giuliani, Massimiliano Scopelliti, Amedeo Cesta	Key Issues in Interactive Problem Solving: An Empirical Investigation on Users Attitude.	INTERACT	2005	DBLP DOI BibTeX RDF
11	Andrew W. Cook, William H. Cabot, Peter L. Williams, Brian J. Miller, Bronis R. de Supinski, Robert K. Yates, Michael L. Welcome	Tera-Scalable Algorithms for Variable-Density Elliptic Hydrodynamics with Spectral Accuracy.	SC	2005	DBLP DOI BibTeX RDF
11	ShengYu Shen, Ying Qin, Sikun Li	Minimizing Counterexample with Unit Core Extraction and Incremental SAT.	VMCAI	2005	DBLP DOI BibTeX RDF
11	Intae Kang, Radha Poovendran	Iterated Local Optimization for Minimum Energy Broadcast.	WiOpt	2005	DBLP DOI BibTeX RDF
11	Hamid Reza Ghasemi, Zainalabedin Navabi	An Effective VHDL-AMS Simulation Algorithm with Event Partitioning.	VLSI Design	2005	DBLP DOI BibTeX RDF
11	ManMohan S. Sodhi, Stephen Norris	A Flexible, Fast, and Optimal Modeling Approach Applied to Crew Rostering at London Underground.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	crew rostering, rota, cyclic graph, aggregation, decomposition, mixed-integer linear programming
11	A. Ismael F. Vaz, Edite M. G. P. Fernandes, M. Paula S. F. Gomes	SIPAMPL: Semi-infinite programming with AMPL.	ACM Trans. Math. Softw.	2004	DBLP DOI BibTeX RDF	Evaluation tools, test problems, semi-infinite programming
11	S. Peigin, Boris Epstein 0002	Embedded Parallelization Approach for Optimization in Aerodynamic Design.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	embedded parallelization, aerodynamic design, otimization, genetic algorithms, CFD
11	S. Peigin, Boris Epstein 0002, T. Rubin, S. Seror	Parallel Large Scale High Accuracy Navier-Stokes Computations on Distributed Memory Clusters.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	three-dimensional (3D), compressible, CFD, PVM, parallel implementation, Navier-Stokes equations, turbulent flows
11	Yunong Zhang, Shuzhi Sam Ge, Tong Heng Lee	A unified quadratic-programming-based dynamical system approach to joint torque optimization of physically constrained redundant manipulators.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
11	Olaf Schenk, Stefan Röllin, Anshul Gupta	The effects of unsymmetric matrix permutations and scalings in semiconductor device and circuit simulation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
11	Yezid Donoso, Ramón Fabregat, José-Luis Marzo	A Multi-Objective Optimization Scheme for Multicast Routing: A Multitree Approach.	Telecommun. Syst.	2004	DBLP DOI BibTeX RDF	optimization, load balancing, multicast, traffic engineering, mathematical programming
11	Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli	DPLL( T): Fast Decision Procedures.	CAV	2004	DBLP DOI BibTeX RDF
11	Dawen Xie, Nancy M. Amato	A Kinematics-based Probabilistic Roadmap Method for High DOF Closed Chain Systems.	ICRA	2004	DBLP DOI BibTeX RDF
11	Masha Sosonkina	Adapting Distributed Scientific Applications to Run-Time Network Conditions.	PARA	2004	DBLP DOI BibTeX RDF
11	Henrik Johansson, Dan Wallin, Sverker Holmgren	Analyzing Advanced PDE Solvers Through Simulation.	PARA	2004	DBLP DOI BibTeX RDF
11	Christophe Wolinski, Krzysztof Kuchcinski, Maya B. Gokhale	A constraints programming approach to communication scheduling on SoPC architectures.	FPGA	2004	DBLP DOI BibTeX RDF
11	Miroslav N. Velev	Efficient translation of boolean formulas to CNF in formal verification of microprocessors.	ASP-DAC	2004	DBLP DOI BibTeX RDF
11	Ondrej Medek, Pavel Tvrdík, Jaroslav Kruis	Load and Memory Balanced Mesh Partitioning for a Parallel Envelope Method.	Euro-Par	2004	DBLP DOI BibTeX RDF
11	Karl Fürlinger, Olaf Schenk, Michael Hagemann	Task-Queue Based Hybrid Parallelism: A Case Study.	Euro-Par	2004	DBLP DOI BibTeX RDF
11	Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey	Compiling Ask Constraints.	ICLP	2004	DBLP DOI BibTeX RDF
11	Natarajan Viswanathan, Chris C. N. Chu	FastPlace: efficient analytical placement using cell shifting, iterative local refinement and a hybrid net model.	ISPD	2004	DBLP DOI BibTeX RDF	net models, analytical placement, standard cell placement
11	Roman Barták	Effective Modeling with Constraints.	INAP/WLP	2004	DBLP DOI BibTeX RDF
11	Xiang Wu, Wenkai Lu	Nested Buffer SMO Algorithm for Training Support Vector Classifiers.	ISNN (1)	2004	DBLP DOI BibTeX RDF
11	Marco Benedetti, Sara Bernardini	Incremental Compilation-to-SAT Procedures.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
11	Bing Li, Fabio Somenzi	Efficient computation of small abstraction refinements.	ICCAD	2004	DBLP DOI BibTeX RDF
11	Tobias Schubert 0001, Bernd Becker 0001	Parallel SAT Solving with Microcontrollers.	AACC	2004	DBLP DOI BibTeX RDF
11	Ondrej Medek, Pavel Tvrdík	Variable Reordering for a Parallel Envelope Method.	ICPP Workshops	2004	DBLP DOI BibTeX RDF
11	Harald Köstler, Ulrich Rüde	Extrapolation Techniques for Computing Accurate Solutions of Elliptic Problems with Singular Solutions.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
11	Andrew H. C. Gosline, Septimiu E. Salcudean, Joseph Yan	Haptic Simulation of Linear Elastic Media with Fluid Pockets.	HAPTICS	2004	DBLP DOI BibTeX RDF
11	Wei Li 0002, Peter van Beek	Guiding Real-World SAT Solving with Dynamic Hypergraph Separator Decomposition.	ICTAI	2004	DBLP DOI BibTeX RDF
11	Bradley T. Vander Zanden, David K. Baker, Jing Jin	An explanation-based, visual debugger for one-way constraints.	UIST	2004	DBLP DOI BibTeX RDF	one-way constraints, data structures, constraint satisfaction, software visualization, visual debugging
11	Peter Zoeteweij	Constraining Special-Purpose Domain Types.	CP	2004	DBLP DOI BibTeX RDF