Search results for "solver"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Jakob Mauss, Frank Seelisch, Mugur M. Tatar	A Relational Constraint Solver for Model-Based Engineering.	CP	2002	DBLP DOI BibTeX RDF
15	Jin-Kyu Park, Keun-Ho Lee, Chang-Sub Lee, Gi-Young Yang, Young-Kwan Park, Jeong-Taek Kong	Characterizing the Current Degradation of Abnormally Structured MOS Transistors Using a 3D Poisson Solver.	ISQED	2002	DBLP DOI BibTeX RDF	CURRENT DEGRADATION, ABNORMALLY STRUCTURED MOS, MODELING
15	Alessio Plebe	An Effective Traveling Salesman Problem Solver Based on Self-Organizing Map.	ICANN	2002	DBLP DOI BibTeX RDF
15	Malay K. Ganai, Pranav Ashar, Aarti Gupta, Lintao Zhang, Sharad Malik	Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver.	DAC	2002	DBLP DOI BibTeX RDF	boolean constraint propagation (BCP), bounded model checking (BMC), conjunctive normal form (CNF), boolean satisfiability (SAT)
15	Jacek Kierzenka, Lawrence F. Shampine	A BVP solver based on residual control and the Maltab PSE.	ACM Trans. Math. Softw.	2001	DBLP DOI BibTeX RDF	residual control, Matlab, Collocation method
15	Laurent Granvilliers, Éric Monfroy	A Graphical Interface for Solver Cooperations.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
15	Oleg Iliev, Dimitar Stoyanov	Multigrid - Adaptive Local Refinement Solver for Incompressible Flows.	LSSC	2001	DBLP DOI BibTeX RDF
15	Gergana Bencheva	MPI Parallel Implementation of a Fast Separable Solver.	LSSC	2001	DBLP DOI BibTeX RDF
15	Germán Larrazábal, José M. Cela	A Parallel Iterative Solver Based on the Schur Complement System.	ICPP Workshops	2001	DBLP DOI BibTeX RDF
15	Stephen M. Mansour	A dynamic APL GUI equation solver (ADAGE).	APL	2001	DBLP DOI BibTeX RDF	APL
15	Toshiya Nakaguchi, Kenya Jin'no, Mamoru Tanaka	Hardware combinatorial optimization problems solver by hysteresis neural networks.	ISCAS (3)	2001	DBLP DOI BibTeX RDF
15	Hiroshi Hosobe	A modular geometric constraint solver for user interface applications.	UIST	2001	DBLP DOI BibTeX RDF	module mechanisms, geometric constraints, graph layouts, soft constraints, constraint solvers
15	Miguel A. Salido, Federico Barber	An Incremental and Non-binary CSP Solver: The Hyperpolyhedron Search Algorithm.	CP	2001	DBLP DOI BibTeX RDF
15	Gershon Elber, Myung-Soo Kim	Geometric constraint solver using multivariate rational spline functions.	Symposium on Solid Modeling and Applications	2001	DBLP DOI BibTeX RDF
15	Martin Bächtold, Mirko Spasojevic, Christian Lage, Per B. Ljung	A system for full-chip and critical net parasitic extraction for ULSI interconnects using a fast 3-D field solver.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
15	Patrick Amestoy, Iain S. Duff, Jean-Yves L'Excellent, Jacko Koster	MUMPS : A General Purpose Distributed Memory Sparse Solver.	PARA	2000	DBLP DOI BibTeX RDF
15	David Goudin, Jean Roman	A Scalable Parallel Assembly for Irregular Meshes Based on a Block Distribution for a Parallel Block Direct Solver.	PARA	2000	DBLP DOI BibTeX RDF
15	Michael Bader, Christoph Zenger 0001	A Fast Solver for Convection Diffusion Equations Based on Nested Dissection with Incomplete Elimination.	Euro-Par	2000	DBLP DOI BibTeX RDF
15	Pascal Hénon, Pierre Ramet, Jean Roman	PaStiX: A Parallel Sparse Direct Solver Based on a Static Scheduling for Mixed 1D/2D Block Distributions.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
15	Hiroshi Hosobe	A Scalable Linear Constraint Solver for User Interface Construction.	CP	2000	DBLP DOI BibTeX RDF
15	Jan Verschelde	Algorithm 795: PHCpack: a general-purpose solver for polynomial systems by homotopy continuation.	ACM Trans. Math. Softw.	1999	DBLP DOI BibTeX RDF	Bézout number, Bernshtein's theorem, Schubert calculus, enumerative geometry, mixed volume, polyhedral homotopy, root count, start system, Ada, polynomial systems, homotopy continuation
15	Henk Vandecasteele, Bart Demoen, Gerda Janssens	A Finite Domain CLP Solver on Top of Mercury.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
15	Luc Giraud, Ronan Guivarch, Joël Stein	A Parallel Distributed Fast 3D Poisson Solver for Méso-NH.	Euro-Par	1999	DBLP DOI BibTeX RDF
15	Renato Simões Silva	A Finite Element Solver for Convection Diffusion Problems Using a Cluster of PC's.	IWCC	1999	DBLP DOI BibTeX RDF
15	Anshul Gupta, Fred G. Gustavson, Mahesh V. Joshi, Sivan Toledo	The Design, Implementation, and Evaluation of a Symmetric Banded Linear Solver for Distributed-Memory Parallel Computers.	ACM Trans. Math. Softw.	1998	DBLP DOI BibTeX RDF	parallel algorithm, distributed memory, Cholesky factorization, Banded matrices
15	Kenneth Y. Yun, Peter A. Beerel, Vida Vakilotojar, Ayoob E. Dooply, Julio Arceo	The design and verification of a high-performance low-control-overhead asynchronous differential equation solver.	IEEE Trans. Very Large Scale Integr. Syst.	1998	DBLP DOI BibTeX RDF
15	Jae Yeol Lee	A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction.	Automated Deduction in Geometry	1998	DBLP DOI BibTeX RDF	variational design, constructive constraint solving, graph reduction, Parametric design
15	Leonardo Borges, Suely Oliveira	A Parallel Solver for Extreme Eigenpairs.	Euro-Par	1998	DBLP DOI BibTeX RDF
15	Tomoaki Sakaguchi, Arun K. Somani	Hierarchical Stochastic Reward Net Solver Package.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
15	Claus Bendtsen	A parallel stiff ODE solver based on MIRKs.	Adv. Comput. Math.	1997	DBLP DOI BibTeX RDF	stiff ordinary differential equations, multi-implicit Runge-Kutta methods, parallelism across the method, parallel computation
15	Tuomo Rossi, Jari Toivanen	Numerical Experiments with a Parallel Fast Direct Elliptic Solver on Cray T3E.	Euro-Par	1997	DBLP DOI BibTeX RDF
15	Sharad Kapur, Jinsong Zhao	A Fast Method of Moments Solver for Efficient Parameter Extraction of MCMs.	DAC	1997	DBLP DOI BibTeX RDF
15	Joke G. Blom, R. A. Trompert, Jan G. Verwer	Algorithm 758: VLUGR2: A Vectorizable Adaptive-Grid Solver for PDEs in 2D.	ACM Trans. Math. Softw.	1996	DBLP DOI BibTeX RDF	adaptive-grid methods, nonsymmetric sparse linear systems, partial different equations, software, vectorization, FORTRAN 77, iterative solvers, method of lines
15	Joke G. Blom, Jan G. Verwer	Algorithm 759: VLUGR3: A Vectorizable Adaptive-Grid Solver for PDEs in 3D - Part II, Code Description.	ACM Trans. Math. Softw.	1996	DBLP DOI BibTeX RDF	adaptive-grid methods, nonsymmetric sparse linear systems, software, partial differential equations, vectorization, FORTRAN 77, iterative solvers, method of lines
15	Makoto Nakanishi, Hiroshi Ina, Ken'ichi Miura	A high performance linear equation solver on the VPP500 parallel supercomputer.	SC	1994	DBLP BibTeX RDF
15	Eric Tomacruz, Jagesh V. Sanghavi, Alberto L. Sangiovanni-Vincentelli	A parallel iterative linear solver for solving irregular grid semiconductor device matrices.	SC	1994	DBLP DOI BibTeX RDF	CM-1
15	Graham F. Carey, Joe Schmidt, Vineet Singh, Dennis Yelton	A scalable, object-oriented finite element solver for partial differential equations on multicomputers.	ICS	1992	DBLP DOI BibTeX RDF	C++
15	Jean-Philippe Brunet, Alan Edelman, Jill P. Mesirov	An optional hypercube direct N-body solver on the connection machine.	SC	1990	DBLP DOI BibTeX RDF
15	Ke-Chih Wu, Robert F. Lucas, Ze-Yi Wang, Robert W. Dutton	New approaches in a 3-D one-carrier device solver.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
15	Paola Forcheri, Maria Teresa Molfino	The Teller Simulator: An Automatic Problem Solver for Educational Use.	ICCAL	1989	DBLP DOI BibTeX RDF
15	Albert Seidl, Helmut Klose, Milos Svoboda, Joachim Oberndorfer, Wolfgang Rösner	CAPCAL-a 3-D capacitance solver for support of CAD systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
15	J. Gregory Rollins, John Choma Jr.	Mixed-mode PISCES-SPICE coupled circuit and device solver.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1988	DBLP DOI BibTeX RDF
15	François Hantry, Mohand-Said Hacid, Romuald Thion	Detection of Conflicting Compliance Rules.	EDOCW	2011	DBLP DOI BibTeX RDF	unsatisfiable core, temporal logic, conflict, compliance, SMT, SAT solver
15	Jin Shi, Yici Cai	Scaling power/ground solvers on multi-core with memory bandwidth awareness.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	power/ground solver, multi-core
15	Tony Hürlimann	Modeling Languages in Optimization: A New Paradigm.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Algorithmic language, Modeling language, Declarative language, Solver
15	Jürgen Schmidhuber	Ultimate Cognition à la Gödel.	Cogn. Comput.	2009	DBLP DOI BibTeX RDF	Universal cognitive systems, Ultimate cognition, Optimal general problem solver, Goedel machine, Global optimality theorem, AI becoming a formal science, Self-reference
15	Eid H. Doha, Ali H. Bhrawy, Waleed M. Abd-Elhameed	Jacobi spectral Galerkin method for elliptic Neumann problems.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Neumann boundary condition, Spectral-Galerkin method, Fast elliptic spectral solver, Jacobi polynomials, Tensor product, Helmholtz equation
15	Takashi Tokizaki, Yuichi Tazaki, Hironori Mitake, Shoichi Hasegawa	Pliant motion: integration of virtual trajectory control into LCP based physics engines.	SIGGRAPH Posters	2009	DBLP DOI BibTeX RDF	iterative LCP solver, physics simulation, virtual creature
15	Jilles Steeve Dibangoye, Abdel-Illah Mouaddib, Brahim Chaib-draa	Point-based incremental pruning heuristic for solving finite-horizon DEC-POMDPs.	AAMAS (1)	2009	DBLP BibTeX RDF	decentralized pomdps, point-based solver, artificial intelligence, branch-and-bound, planning under uncertainty
15	Marzio Sala, Kendall S. Stanley, Michael A. Heroux	On the design of interfaces to sparse direct solvers.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	Direct solver libraries, distributed linear algebra, Object-oriented design
15	Changbo Chen, Marc Moreno Maza, Wei Pan 0001, Yuzhen Xie	On the verification of polynomial system solvers.	Frontiers Comput. Sci. China	2008	DBLP DOI BibTeX RDF	polynomial system solver, software verification, triangular decomposition
15	Hongxin Hu, Gail-Joon Ahn	Enabling verification and conformance testing for access control model.	SACMAT	2008	DBLP DOI BibTeX RDF	model-based verification, access control, model-based testing, alloy, SAT solver
15	Yves Caniou, Jean-Sébastien Gay, Pierre Ramet	Tunable Parallel Experiments in a GridRPC Framework: Application to Linear Solvers.	VECPAR	2008	DBLP DOI BibTeX RDF	Sparse linear solver, Application specific plug-in scheduling, Grid computing, Performance prediction
15	Zuochang Ye, Zhenhai Zhu, Joel R. Phillips	Generalized Krylov recycling methods for solution of multiple related linear equation systems in electromagnetic analysis.	DAC	2008	DBLP DOI BibTeX RDF	incremental solver, Krylov subspace
15	Ankit Mohan, Jack Tumblin, Prasun Choudhury	Editing Soft Shadows in a Digital Photograph.	IEEE Computer Graphics and Applications	2007	DBLP DOI BibTeX RDF	shadow editing, gradient domain, edges, discontinuities, sharpness, Poisson solver
15	Ph. Ballereau, Michel Casanova, Frédéric Duboc, D. Dureau, H. Jourdren, Pascal Loiseau, J. Metral, O. Morice, Rémi Sentis	Simulation of the Paraxial Laser Propagation Coupled with Hydrodynamics in 3D Geometry.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	Hydrodynamics with ponderomotive force, paraxial solver, laser-plasma interaction, space marching technique, parallel algorithm
15	Giannandrea Abbate, Barend J. Thijsse, Chris R. Kleijn	Coupled Navier-Stokes/DSMC Method for Transient and Steady-State Gas Flows.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	Direct Simulation Monte Carlo, Coupled Method, Rarefied Gas Flow, Navier-Stokes solver, Hybrid Method
15	Yonghua Zhao, Xuebin Chi, Qiang Cheng	An Implementation of Parallel Eigenvalue Computation Using Dual-Level Hybrid Parallelism.	ICA3PP	2007	DBLP DOI BibTeX RDF	MPI/OpenMP, hybrid parallel algorithm, parallel solver, matrix eigenvalue
15	K. Rustan M. Leino	Specifying and verifying software.	ASE	2007	DBLP DOI BibTeX RDF	verification, specification, programming, automation, languages, tool support, SMT solver
15	Arnaud Lallouet, Andrei Legtchenko	From satisfiability to consistency through certificates: application to partially defined constraints.	SAC	2006	DBLP DOI BibTeX RDF	solver construction, decision trees, constraint satisfaction
15	David Ryan Koes, Seth Copen Goldstein	A global progressive register allocator.	PLDI	2006	DBLP DOI BibTeX RDF	progressive solver, register alocation
15	Andrey Nechypurenko, Egon Wuchner, Jules White, Douglas C. Schmidt	Applying Model Intelligence Frameworks for Deployment Problem in Real-Time and Embedded Systems.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	model completion, modeling, model checking, Prolog, automotive, constraint solver
15	Rémi Sentis, Sylvain Desroziers, Frédéric Nataf	Simulation of Laser Propagation in a Plasma with a Frequency Wave Equation.	VECPAR	2006	DBLP DOI BibTeX RDF	Cyclic reduction method, Separable matrix, Non-hermitian linear solver, Helmholtz equation, Domain Decomposition Method
15	Marc Moreno Maza, Yuzhen Xie	An implementation report for parallel triangular decompositions.	SPAA	2006	DBLP DOI BibTeX RDF	polynomial system solver, parallel execution
15	Bruce M. Maggs, Gary L. Miller, Ojas Parekh, R. Ravi 0001, Shan Leung Maverick Woo	Finding effective support-tree preconditioners.	SPAA	2005	DBLP DOI BibTeX RDF	combinatorial preconditioner, linear systems, iterative solver
15	Mark Wallace 0001, Joachim Schimpf, Kish Shen, Warwick Harvey	On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's "A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains".	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	solver performance, Benchmarking, ECLiPSe, Unit Testing, constraint logic programming, Finite Domain, CLP
15	Mark Last, Menahem Friedman, Abraham Kandel	The data mining approach to automated software testing.	KDD	2003	DBLP DOI BibTeX RDF	finite element solver, info-fuzzy networks, input-output analysis, regression testing, automated software testing
15	Zhenhai Zhu, Ben Song, Jacob White 0001	Algorithms in FastImp: a fast and wideband impedance extraction program for complicated 3-D geometries.	DAC	2003	DBLP DOI BibTeX RDF	fast integral equation solver, impedance extraction, interconnect, iterative methods, preconditioning
15	Xian-He Sun, Wu Zhang	A Parallel Two-Level Hybrid Method for Diagonal Dominant Tridiagonal Systems.	IPDPS	2002	DBLP DOI BibTeX RDF	Tridiagonal Systems, Parallel Processing, Scalable Computing, Poisson Solver
15	Frank C. Langbein, A. David Marshall, Ralph R. Martin	Numerical Methods for Beautification of Reverse Engineered Geometric Models.	GMP	2002	DBLP DOI BibTeX RDF	Numerical Constraint Solver, Reverse Engineering, Geometric Constraints, Beautification
15	Emmanuel Fragnière, Jacek Gondzio, Robert Sarkissian	Efficient Management of Multiple Sets to Extract Complex Structures from Mathematical Programs.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	algebraic modeling language, structure exploiting solver, stochastic programming with recourse, large-scale optimization
15	Samy Ait-Aoudia, Hakim Badis, Messaoud Kara	Solving Geometric Constraints by a Hybrid Method.	IV	2001	DBLP DOI BibTeX RDF	graph-based solver, Computer aided design, matching, bipartite graphs, constraints solving, geometric constraints
15	Lutz Grosz	How to vectorize the algebraic multilevel iteration.	ACM Trans. Math. Softw.	2000	DBLP DOI BibTeX RDF	large linear systems, preconditioned iterative solver, parallel processing, multigrid method, numerical software, vector computer
15	Jan-Jan Wu	An Interleaving Transformation for Parallelizing Reductions for Distributed-Memory Parallel Machines.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	triangular systems solver, parallel processing, program transformation, reduction, parallelizing compilation, distributed-memory
15	Daniel Jackson 0001, Kevin J. Sullivan	COM revisited: tool-assisted modelling of an architectural framework.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF	Microsoft COM, formal specification, formal methods, architectural style, alloy, integration frameworks, constraint solver
15	Pearl Pu, Boi Faltings	Enriching buyers' experiences: the SmartClient approach.	CHI	2000	DBLP DOI BibTeX RDF	on-line travel planning systems, visual overview, eCommerce, client-server architecture, constraint solver
15	Dianqin Wang, Eleanor Chu	Minimizing Communication Penalty of Triangular Solvers by Runtime Mesh Configuration and Workload Redistribution.	J. Supercomput.	1999	DBLP DOI BibTeX RDF	triangular solver, overlap of communications by computations, performance modeling and evaluation, parallel algorithm, load balancing, hypercube, mesh, torus
15	Sitt Chen Chok, Kim Marriott	Automatic Construction of Intelligent Diagram Editors.	ACM Symposium on User Interface Software and Technology	1998	DBLP DOI BibTeX RDF	intelligent diagram, visual language, parsing, pen-based computing, constraint solver
15	Gerard L. G. Sleijpen, Henk A. van der Vorst	Reliable Updated Residuals in Hybrid Bi-CG Methods.	Computing	1996	DBLP DOI BibTeX RDF	Non-symmetric linear systems, CGS, Bi-CGSTAB, BiCGstab(l), iterative solver
15	Charles E. Leiserson, Satish Rao, Sivan Toledo	Efficient Out-of-Core Algorithms for Linear Relaxation Using Blocking Covers (Extended Abstract)	FOCS	1993	DBLP DOI BibTeX RDF	elliptic solver, blocking covers, sparse linear relaxation problems, primary memory, multigrid algorithm, iteration, out-of-core algorithms, numerical computation, linear relaxation
11	Jason Cong, Guojie Luo	An analytical placer for mixed-size 3D placement.	ISPD	2010	DBLP DOI BibTeX RDF	placement, 3D integration, analytical method
11	Yao Zhang 0001, Jonathan Cohen, John D. Owens	Fast tridiagonal solvers on the GPU.	PPoPP	2010	DBLP DOI BibTeX RDF	tridiagonal linear system, gpgpu, performance optimization
11	Zhuo Feng, Zhiyu Zeng	Parallel multigrid preconditioning on graphics processing units (GPUs) for robust power grid analysis.	DAC	2010	DBLP DOI BibTeX RDF	P/G network, GPU, iterative method, multigrid
11	Manuel Peinado, Damien Maupu, Daniel Raunhardt, Daniel Meziat, Daniel Thalmann, Ronan Boulic	Full-Body Avatar Control with Environment Awareness.	IEEE Computer Graphics and Applications	2009	DBLP DOI BibTeX RDF
11	Todd K. Moon, Jacob H. Gunther, J. J. Kupin	Sinkhorn Solves Sudoku.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
11	Joon-Kyung Seong, Won-Ki Jeong, Elaine Cohen	Curvature-based anisotropic geodesic distance computation for parametric and implicit surfaces.	Vis. Comput.	2009	DBLP DOI BibTeX RDF	Parametric and implicit surface, Normal curvature, H-J equation, Tensor, Geodesic, Anisotropy
11	Stefano Benedettini, Andrea Roli, Luca Di Gaspero	EasyGenetic: A Template Metaprogramming Framework for Genetic Master-Slave Algorithms.	SLS	2009	DBLP DOI BibTeX RDF
11	Junaid Haroon Siddiqui, Sarfraz Khurshid	An Empirical Study of Structural Constraint Solving Techniques.	ICFEM	2009	DBLP DOI BibTeX RDF	model checking, SAT, symbolic execution, state space exploration, systematic testing, Empirical comparison, software testing tools
11	Sandro Pirkwieser, Günther R. Raidl	Multiple Variable Neighborhood Search Enriched with ILP Techniques for the Periodic Vehicle Routing Problem with Time Windows.	Hybrid Metaheuristics	2009	DBLP DOI BibTeX RDF
11	Hankui Zhuo, Qiang Yang 0001, Lei Li 0022	Constraint-Based Case-Based Planning Using Weighted MAX-SAT.	ICCBR	2009	DBLP DOI BibTeX RDF
11	K. Rustan M. Leino, Rosemary Monahan	Reasoning about comprehensions with first-order SMT solvers.	SAC	2009	DBLP DOI BibTeX RDF	Spec#, matching triggers, quantifiers, SMT solvers
11	Akiyoshi Wakatani	Implementation of Recurrence Calculation on a Heterogeneous Multicore Processor.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
11	He Peng, Chung-Kuan Cheng	Parallel transistor level circuit simulation using domain decomposition methods.	ASP-DAC	2009	DBLP DOI BibTeX RDF
11	Oliver Friedmann, Martin Lange	Solving Parity Games in Practice.	ATVA	2009	DBLP DOI BibTeX RDF
11	Ioannis Koutis, Gary L. Miller, David Tolliver	Combinatorial Preconditioners and Multilevel Solvers for Problems in Computer Vision and Image Processing.	ISVC (1)	2009	DBLP DOI BibTeX RDF
11	Emad Saad	Probabilistic Reasoning by SAT Solvers.	ECSQARU	2009	DBLP DOI BibTeX RDF
11	Johan Wittocx, Hanne Vlaeminck, Marc Denecker	Debugging for Model Expansion.	ICLP	2009	DBLP DOI BibTeX RDF
11	Claire Lefèvre, Pascal Nicolas	A First Order Forward Chaining Approach for Answer Set Computing.	LPNMR	2009	DBLP DOI BibTeX RDF
11	Amit Goel, Sava Krstic, Cesare Tinelli	Ground Interpolation for Combined Theories.	CADE	2009	DBLP DOI BibTeX RDF
11	Albert Atserias, Johannes Klaus Fichte, Marc Thurley	Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution.	SAT	2009	DBLP DOI BibTeX RDF