Search results for "solver"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Lukas Kroc, Ashish Sabharwal, Bart Selman	Relaxed DPLL Search for MaxSAT.	SAT	2009	DBLP DOI BibTeX RDF
11	HyoJung Han, Fabio Somenzi	On-the-Fly Clause Improvement.	SAT	2009	DBLP DOI BibTeX RDF
11	Ali Cevahir, Akira Nukada, Satoshi Matsuoka	Fast Conjugate Gradients with Multiple GPUs.	ICCS (1)	2009	DBLP DOI BibTeX RDF
11	Nikolaj S. Bjørner, Nikolai Tillmann, Andrei Voronkov	Path Feasibility Analysis for String-Manipulating Programs.	TACAS	2009	DBLP DOI BibTeX RDF
11	Michael Codish, Samir Genaim, Peter J. Stuckey	A declarative encoding of telecommunications feature subscription in SAT.	PPDP	2009	DBLP DOI BibTeX RDF	sat solving, telecommunications feature subscription, declarative modelling
11	François Chardavoine, Armin Bruderlin	The hair motion compositor: compositing dynamic hair animations in a production environment.	SIGGRAPH Talks	2009	DBLP DOI BibTeX RDF
11	Andrew Loewenstern	Scheduling the CB1000 Nanoproteomic Analysis System with Python, Tailor, and Minion.	CP	2009	DBLP DOI BibTeX RDF
11	Geoffrey Chu, Peter J. Stuckey	Minimizing the Maximum Number of Open Stacks by Customer Search.	CP	2009	DBLP DOI BibTeX RDF
11	Bernd Steinbach, Christian Posthoff	Complete Sets of Hamiltonian Circuits for Classification of Documents.	EUROCAST	2009	DBLP DOI BibTeX RDF
11	Malay K. Ganai, Franjo Ivancic	Efficient decision procedure for non-linear arithmetic constraints using CORDIC.	FMCAD	2009	DBLP DOI BibTeX RDF
11	Mohammad Reza Hajiaboli	A Self-governing Hybrid Model for Noise Removal.	PSIVT	2009	DBLP DOI BibTeX RDF	Convergence, Diffusion, Denoising, Gradient, Laplacian
11	Amit Mehrotra, Abhishek Somani	A robust and efficient harmonic balance (HB) using direct solution of HB Jacobian.	DAC	2009	DBLP DOI BibTeX RDF	simulation, preconditioning, harmonic balance
11	Jingling Xue, Minyi Guo, Daming Wei	Improving the parallelism of iterative methods by aggressive loop fusion.	J. Supercomput.	2008	DBLP DOI BibTeX RDF	Parallelism, Data dependence, Cache locality, Loop fusion
11	Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino	A Functorial Framework for Constraint Normal Logic Programming.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 18C50, 68Q55
11	Fehmi Cirak, Julian C. Cummings	Generic programming techniques for parallelizing and extending procedural finite element programs.	Eng. Comput.	2008	DBLP DOI BibTeX RDF	Multi-physics coupling, Parallelization, Object-oriented programming, Finite elements, Generic programming
11	Kensuke Yokoi	A Numerical Method for Free-Surface Flows and Its Application to Droplet Impact on a Thin Liquid Layer.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Interface capturing, CLSVOF, THINC, WLIC, Free-surface flow, Level set
11	Enrique Domingo Fernández-Nieto, Remedios Gladis Narbona-Reina	Extension of WAF Type Methods to Non-Homogeneous Shallow Water Equations with Pollutant.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Well-balanced, Upwinding, Shallow water, Source terms, WAF, HLLC, Finite volume method, Pollutant
11	Hasan Amjad	Data Compression for Proof Replay.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Proof translation, Interactive theorem proving, SAT solvers
11	Rahul Narain, Jason Sewall, Mark Carlson, Ming C. Lin	Fast animation of turbulence using energy transport and procedural synthesis.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF
11	Mohamed Saad 0001, Tamás Terlaky, Anthony Vannelli, Hu Zhang 0004	Packing trees in communication networks.	J. Comb. Optim.	2008	DBLP DOI BibTeX RDF	Steiner tree packing, Approximation algorithms, Communication networks, Multicast routing, Mathematical programming, Wavelength assignment
11	Ricardo Soto 0001, Laurent Granvilliers	On the Pursuit of a Standard Language for Object-Oriented Constraint Modeling.	New Challenges in Applied Intelligence Technologies	2008	DBLP DOI BibTeX RDF	Languages, Constraint Programming, Constraint Satisfaction Problems, Constraint Modeling
11	Douglas S. Altner, Özlem Ergun	Rapidly Solving an Online Sequence of Maximum Flow Problems with Extensions to Computing Robust Minimum Cuts.	CPAIOR	2008	DBLP DOI BibTeX RDF	Reoptimization, Robust Minimum Cut, Maximum Flow
11	Tommi A. Junttila, Jori Dubrovin	Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking.	LPAR	2008	DBLP DOI BibTeX RDF
11	Carlos Müller, Antonio Ruiz Cortés, Manuel Resinas	An Initial Approach to Explaining SLA Inconsistencies.	ICSOC	2008	DBLP DOI BibTeX RDF	Quality of Service, Debugging, Service Level Agreement, Consistency Checking, WS-Agreement
11	Pascal Vander-Swalmen, Gilles Dequen, Michaël Krajecki	On Multi-threaded Satisfiability Solving with OpenMP.	IWOMP	2008	DBLP DOI BibTeX RDF	collaborative, parallel, combinatorial optimization, satisfiability, OpenMP, dll
11	Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich	Efficient symbolic multi-objective design space exploration.	ASP-DAC	2008	DBLP DOI BibTeX RDF
11	Christopher Lynch, Yuefeng Tang	Interpolants for Linear Arithmetic in SMT.	ATVA	2008	DBLP DOI BibTeX RDF
11	Daniel Lopez-Escogido, Jose Torres-Jimenez, Eduardo Rodriguez-Tello, Nelson Rangel-Valdez	Strength Two Covering Arrays Construction Using a SAT Representation.	MICAI	2008	DBLP DOI BibTeX RDF
11	Feifei Ma, Jian Zhang 0001	Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints.	PRICAI	2008	DBLP DOI BibTeX RDF
11	Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey	Cadmium: An Implementation of ACD Term Rewriting.	ICLP	2008	DBLP DOI BibTeX RDF
11	Michael Codish, Vitaly Lagoon, Peter J. Stuckey	Telecommunications Feature Subscription as a Partial Order Constraint Problem.	ICLP	2008	DBLP DOI BibTeX RDF
11	Patrice Godefroid, Michael Y. Levin, David A. Molnar	Active property checking.	EMSOFT	2008	DBLP DOI BibTeX RDF	security, software testing, symbolic execution
11	Mark Silberstein, Assaf Schuster, Dan Geiger, Anjul Patney, John D. Owens	Efficient computation of sum-products on GPUs through software-managed cache.	ICS	2008	DBLP DOI BibTeX RDF	sum-product, GPGPU, CUDA, software-managed cache
11	Florian Lonsing, Armin Biere	Nenofex: Expanding NNF for QBF Solving.	SAT	2008	DBLP DOI BibTeX RDF
11	Germain Faure, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell	SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers.	SAT	2008	DBLP DOI BibTeX RDF
11	Tao Luo 0002, David A. Papa, Zhuo Li 0001, Chin Ngai Sze, Charles J. Alpert, David Z. Pan	Pyramids: an efficient computational geometry-based approach for timing-driven placement.	ICCAD	2008	DBLP DOI BibTeX RDF
11	Qiang Ma 0002, Evangeline F. Y. Young	Network flow-based power optimization under timing constraints in MSV-driven floorplanning.	ICCAD	2008	DBLP DOI BibTeX RDF
11	Naoki Fukuta, Takayuki Ito 0001	Performance Analysis about Parallel Greedy Approximation on Combinatorial Auctions.	PRIMA	2008	DBLP DOI BibTeX RDF
11	Xiuqin Wang, Guangsheng Ma, Hao Wang	A Novel Method for All Solutions SAT Problem.	SNPD	2008	DBLP DOI BibTeX RDF	All Solutions, Observability Don't Cares, Circuit Structure, Boolean Satisfiability
11	Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman	Linear-Time Reductions of Resolution Proofs.	Haifa Verification Conference	2008	DBLP DOI BibTeX RDF
11	Christian Schulte 0001, Peter J. Stuckey	Dynamic variable elimination during propagation solving.	PPDP	2008	DBLP DOI BibTeX RDF	constraint (logic) programming, analysis, redundancy, constraint propagation
11	Meng Zhang 0006, William Arndt, Jijun Tang	A Branch-and-Bound Method for the Multichromosomal Reversal Median Problem.	WABI	2008	DBLP DOI BibTeX RDF
11	Zuzana Kukelova, Martin Bujnak, Tomás Pajdla	Automatic Generator of Minimal Problem Solvers.	ECCV (3)	2008	DBLP DOI BibTeX RDF
11	Leo J. Grady	A Lattice-Preserving Multigrid Method for Solving the Inhomogeneous Poisson Equations Used in Image Analysis.	ECCV (2)	2008	DBLP DOI BibTeX RDF
11	Vijay Victor D'Silva, Mitra Purandare, Daniel Kroening	Approximation Refinement for Interpolation-Based Model Checking.	VMCAI	2008	DBLP DOI BibTeX RDF
11	Theodore Kim	Hardware-aware analysis and optimization of stable fluids.	SI3D	2008	DBLP DOI BibTeX RDF
11	Shravan Matthur Narayanamurthy, Balaraman Ravindran	On the hardness of finding symmetries in Markov decision processes.	ICML	2008	DBLP DOI BibTeX RDF
11	Kilian Q. Weinberger, Lawrence K. Saul	Fast solvers and efficient implementations for distance metric learning.	ICML	2008	DBLP DOI BibTeX RDF
11	Carlos Ansótegui, Jose Larrubia, Chu Min Li, Felip Manyà	Exploiting multivalued knowledge in variable selection heuristics for SAT solvers.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03B50, 03B05, 03B70
11	Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov	Solution and Optimization of Systems of Pseudo-Boolean Constraints.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Pseudo Boolean (PB), Max-ONE, Global Routing, Conjunctive Normal Form (CNF), Backtrack Search, Integer Linear Programming (ILP), Max-SAT, Boolean Satisfiability (SAT)
11	Oh-Young Song, Doyub Kim, Hyeong-Seok Ko	Derivative Particles for Simulating Detailed Movements of Fluids.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	high-Reynolds-number fluid, Physically-based modeling, water, multiphase fluid
11	Kun Zhou 0001, Xin Huang, Weiwei Xu, Baining Guo, Heung-Yeung Shum	Direct manipulation of subdivision surfaces on GPUs.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	geometric texture, subdivision surface, displacement mapping, detail preservation
11	Luca Di Gaspero, Giacomo di Tollo, Andrea Roli, Andrea Schaerf	Hybrid Local Search for Constrained Financial Portfolio Selection Problems.	CPAIOR	2007	DBLP DOI BibTeX RDF
11	Florian Diedrich, Klaus Jansen	An Approximation Algorithm for the General Mixed Packing and Covering Problem.	ESCAPE	2007	DBLP DOI BibTeX RDF
11	David G. Mitchell, Faraz Hach, Raheleh Mohebali	Faster Phylogenetic Inference with MXG.	LPAR	2007	DBLP DOI BibTeX RDF	Model Expansion, Declarative Programming, Phylogeny
11	Maarten Mariën, Johan Wittocx, Marc Denecker	Integrating Inductive Definitions in SAT.	LPAR	2007	DBLP DOI BibTeX RDF
11	Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta	Boolean Abstraction for Temporal Logic Satisfiability.	CAV	2007	DBLP DOI BibTeX RDF
11	Vijay Ganesh, David L. Dill	A Decision Procedure for Bit-Vectors and Arrays.	CAV	2007	DBLP DOI BibTeX RDF
11	Robert Wille, Görschwin Fey, Daniel Große, Stephan Eggersglüß, Rolf Drechsler	SWORD: A SAT like prover using word level information.	VLSI-SoC	2007	DBLP DOI BibTeX RDF
11	Andreas Bauer 0002, Markus Pister 0001, Michael Tautschnig	Tool-support for the analysis of hybrid systems and models.	DATE	2007	DBLP DOI BibTeX RDF
11	Martin Lukasiewycz, Michael Glaß, Christian Haubelt, Jürgen Teich	SAT-decoding in evolutionary algorithms for discrete constrained optimization problems.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
11	Gérard Basler, Daniel Kroening, Georg Weissenbacher	SAT-Based Summarization for Boolean Programs.	SPIN	2007	DBLP DOI BibTeX RDF
11	Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti	Verifying Heap-Manipulating Programs in an SMT Framework.	ATVA	2007	DBLP DOI BibTeX RDF
11	Manuel Peinado, Daniel Meziat, Damien Maupu, Daniel Raunhardt, Daniel Thalmann, Ronan Boulic	Accurate on-line avatar control with collision anticipation.	VRST	2007	DBLP DOI BibTeX RDF	virtual reality, motion capture, collision avoidance, character animation, inverse kinematics
11	Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory	A specification-based approach to testing software product lines.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	product-lines, specification-based testing, test data generation, alloy, AHEAD, GenVoca
11	Kentaro Sano, Takanori Iizuka, Satoru Yamamoto	Systolic Architecture for Computational Fluid Dynamics on FPGAs.	FCCM	2007	DBLP DOI BibTeX RDF
11	Keith A. Butler, Jiajie Zhang, Chris Esposito, Ali Bahrami, Ron Hebron, David E. Kieras	Work-centered design: a case study of a mixed-initiative scheduler.	CHI	2007	DBLP DOI BibTeX RDF	top-level algorithm, work ontology, work-centered, scheduling, design, user interface, methodology, requirements analysis, business process reengineering, mixed-initiative
11	Peter Gradwell, Julian A. Padget	A comparison of distributed and centralised agent based bundling systems.	ICEC	2007	DBLP DOI BibTeX RDF	distributed market performance, quote driven market, grid, combinatorial auctions, allocation, resource, trading agents
11	Steffen Wolf 0002, Peter Merz	A Hybrid Method for Solving Large-Scale Supply Chain Problems.	EvoCOP	2007	DBLP DOI BibTeX RDF
11	Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani	A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories.	SAT	2007	DBLP DOI BibTeX RDF
11	Nathan Kitchen, Andreas Kuehlmann	Stimulus generation for constrained random simulation.	ICCAD	2007	DBLP DOI BibTeX RDF
11	Thomas Schiwietz, Joachim Georgii, Rüdiger Westermann	Freeform Image.	PG	2007	DBLP DOI BibTeX RDF
11	Helen Hong, Seongjin Park	Graphics Hardware-Based Level-Set Method for Interactive Segmentation and Visualization.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	Segmentation, Volume rendering, Graphics hardware, Level-Set, CT, Lung
11	Sunil R. Tiyyagura, Uwe Küster	Block-Based Approach to Solving Linear Systems.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	Sparse linear algebra, Indirect memory addressing, Scalability, Block algorithms
11	Michael Emmi, Rupak Majumdar, Koushik Sen	Dynamic test input generation for database applications.	ISSTA	2007	DBLP DOI BibTeX RDF	directed random testing, automatic test generation, database applications, concolic testing
11	Zuzana Kukelova, Tomás Pajdla	A minimal solution to the autocalibration of radial distortion.	CVPR	2007	DBLP DOI BibTeX RDF
11	Sivan Toledo, Anatoli Uchitel	A Supernodal Out-of-Core Sparse Gaussian-Elimination Method.	PPAM	2007	DBLP DOI BibTeX RDF
11	Marc Garbey, Bilel Hadri, Victoria Hilford, Christof Karmonik	Parallel Image-Based Hemodynamic Simulator.	ICSNC	2007	DBLP DOI BibTeX RDF
11	Franc Brglez, Jason A. Osborne	Performance testing of combinatorial solvers with isomorph class instances.	Experimental Computer Science	2007	DBLP DOI BibTeX RDF	scientific method
11	Jinbo Huang	A Case for Simple SAT Solvers.	CP	2007	DBLP DOI BibTeX RDF
11	Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock	Reformulating CSPs for Scalability with Application to Geospatial Reasoning.	CP	2007	DBLP DOI BibTeX RDF
11	Fahiem Bacchus, Kostas Stergiou 0001	Solution Directed Backjumping for QCSP.	CP	2007	DBLP DOI BibTeX RDF
11	Olga Ohrimenko, Peter J. Stuckey, Michael Codish	Propagation = Lazy Clause Generation.	CP	2007	DBLP DOI BibTeX RDF
11	Claude-Guy Quimper, Toby Walsh	Decomposing Global Grammar Constraints.	CP	2007	DBLP DOI BibTeX RDF
11	Chen Li 0004, Cheng-Kok Koh	Recursive Function Smoothing of Half-Perimeter Wirelength for Analytical Placement.	ISQED	2007	DBLP DOI BibTeX RDF
11	Ruben Duarte Viegas, Francisco Azevedo	GRASPER.	EPIA Workshops	2007	DBLP DOI BibTeX RDF	Graphs, Constraint Programming, Sets
11	Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu	Boosting Verification by Automatic Tuning of Decision Procedures.	FMCAD	2007	DBLP DOI BibTeX RDF	Search Parameter Optimization, Decision Procedures, Boolean Satisfiability
11	Chang F. Quo, May D. Wang	Quantitative Comparison of Numerical Solvers for Models of Oscillatory Biochemical Systems.	IMSCCS	2007	DBLP DOI BibTeX RDF
11	George Chin Jr., Daniel G. Chavarría-Miranda, Grant C. Nakamura, Heidi J. Sofia	A High-Performance Computational Framework for Bionetwork Analysis.	IMSCCS	2007	DBLP DOI BibTeX RDF
11	Theodore Kim, Mark Carlson	A simple boiling module.	Symposium on Computer Animation	2007	DBLP DOI BibTeX RDF
11	Hongdong Li, Chunhua Shen, Zhiying Wen	Color Image Labelling Using Linear Programming.	DICTA	2007	DBLP DOI BibTeX RDF
11	Hasan Amjad	A Compressing Translation from Propositional Resolution to Natural Deduction.	FroCoS	2007	DBLP DOI BibTeX RDF
11	Ivor W. Tsang, András Kocsor, James T. Kwok	Simpler core vector machines with enclosing balls.	ICML	2007	DBLP DOI BibTeX RDF
11	Jianhui Wu 0006, Edmund H. Durfee	Solving large TÆMS problems efficiently by selective exploration and decomposition.	AAMAS	2007	DBLP DOI BibTeX RDF	TÆMS model, informed unrolling, mission phasing, selective exploration, decomposition, MDP
11	Knot Pipatsrisawat, Adnan Darwiche	Clone: Solving Weighted Max-SAT in a Reduced Search Space.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
11	Manuchehr Soleimani, William R. B. Lionheart	Absolute Conductivity Reconstruction in Magnetic Induction Tomography Using a Nonlinear Method.	IEEE Trans. Medical Imaging	2006	DBLP DOI BibTeX RDF
11	María Dolores Rodríguez-Moreno, Angelo Oddi, Daniel Borrajo, Amedeo Cesta	IPSS: A Hybrid Approach to Planning and Scheduling Integration.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	scheduling, Planning, constraint satisfaction problem, temporal reasoning
11	Klaus Jansen	An approximation algorithm for the general max-min resource sharing problem.	Math. Program.	2006	DBLP DOI BibTeX RDF
11	Jianwei Han, Kun Zhou 0001, Li-Yi Wei, Minmin Gong, Hujun Bao, Xinming Zhang 0001, Baining Guo	Fast example-based surface texture synthesis via discrete optimization.	Vis. Comput.	2006	DBLP DOI BibTeX RDF	Texture animation, Texture mapping, Texture synthesis, Flow visualization, Energy minimization
11	Jin Huang 0001, Xiaohan Shi, Xinguo Liu, Kun Zhou 0001, Li-Yi Wei, Shang-Hua Teng, Hujun Bao, Baining Guo, Heung-Yeung Shum	Subspace gradient domain mesh deformation.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	projection constraint, skeletal control, volume preservation, nonlinear constraints