Search results for "solver"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella	Monotone Literals and Learning in QBF Reasoning.	CP	2004	DBLP DOI BibTeX RDF
11	Guoqiang Pan, Moshe Y. Vardi	Symbolic Decision Procedures for QBF.	CP	2004	DBLP DOI BibTeX RDF
11	Zhao Xing, Weixiong Zhang	Efficient Strategies for (Weighted) Maximum Satisfiability.	CP	2004	DBLP DOI BibTeX RDF
11	Klaus Jansen	Approximation Algorithms for the General Max-min Resource Sharing Problem: Faster and Simpler.	SWAT	2004	DBLP DOI BibTeX RDF
11	Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert	Some Progress in Satisfiability Checking for Difference Logic.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
11	Jay Parker, Gregory Lyzenga, Charles Norton, E. Tisdale, Andrea Donnellan	A community faulted-crust model using PYRAMID on cluster platforms.	CLUSTER	2004	DBLP DOI BibTeX RDF
11	Farid Ajili, Hani El Sakkout	A Probe-Based Algorithm for Piecewise Linear Optimization in Scheduling.	Ann. Oper. Res.	2003	DBLP DOI BibTeX RDF	scheduling, linear programming, constraint programming, hybrid algorithms
11	Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah	Solving difficult instances of Boolean satisfiability in the presence of symmetry.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
11	Krzysztof Kuchcinski	Constraints-driven scheduling and resource assignment.	ACM Trans. Design Autom. Electr. Syst.	2003	DBLP DOI BibTeX RDF	scheduling, high-level synthesis, Constraint programming, system-level synthesis, resource assignment
11	William W. Symes, Jianliang Qian	A Slowness Matching Eulerian Method for Multivalued Solutions of Eikonal Equations.	J. Sci. Comput.	2003	DBLP DOI BibTeX RDF	multivalued eikonal solvers, weighted essentially nonoscillatory scheme (WENO), slowness matching, viscosity solution, Hamilton-Jacobi
11	Jos Stam	Flows on surfaces of arbitrary topology.	ACM Trans. Graph.	2003	DBLP DOI BibTeX RDF	computational fluid dynamics, subdivision surfaces
11	Jeffrey Bolz, Ian Farmer, Eitan Grinspun, Peter Schröder	Sparse matrix solvers on the GPU: conjugate gradients and multigrid.	ACM Trans. Graph.	2003	DBLP DOI BibTeX RDF	numerical simulation, multigrid, fluid simulation, GPU computing, conjugate gradient, mesh smoothing, Navier-Stokes
11	Marc Garbey, Rainer Keller, Michael M. Resch	Toward a Scalable Algorithm for Distributed Computing of Air-Quality Problems.	PVM/MPI	2003	DBLP DOI BibTeX RDF
11	Junlan Zhou, Zhengrong Ji, Mineo Takai, Rajive L. Bagrodia	Maya: a Multi-Paradigm Network Modeling Framework.	PADS	2003	DBLP DOI BibTeX RDF
11	Lyndon Drake, Alan M. Frisch	The Interaction Between Inference and Branching Heuristics.	SAT	2003	DBLP DOI BibTeX RDF
11	Aarti Gupta, Malay K. Ganai, Zijiang Yang 0006, Pranav Ashar	Iterative Abstraction using SAT-based BMC with Proof Analysis.	ICCAD	2003	DBLP DOI BibTeX RDF
11	Nicolas Ray, Bruno Lévy 0001	Hierarchical Least Squares Conformal Map.	PG	2003	DBLP DOI BibTeX RDF
11	Yahia Lebbah, Claude Michel, Michel Rueher	Efficient Pruning Technique Based on Linear Relaxations.	COCOS	2003	DBLP DOI BibTeX RDF
11	Alexander Kleymenov, Alexander Semenov	Using a Cooperative Solving Approach to Global Optimization Problems.	COCOS	2003	DBLP DOI BibTeX RDF	cooperative solvers, interval mathematics, interval constraint programming, distributive computations, global optimizations
11	Kevin P. Allen, Matthias K. Gobbert	Coarse-Grained Parallel Matrix-Free Solution of a Three-Dimensional Elliptic Prototype Problem.	ICCSA (2)	2003	DBLP DOI BibTeX RDF
11	Carlos Ansótegui	A New Approach to Solving SAT-Encoded Binary CSPs.	CP	2003	DBLP DOI BibTeX RDF
11	Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex	Solving Max-SAT as Weighted CSP.	CP	2003	DBLP DOI BibTeX RDF
11	Arnaud Lallouet, Andrei Legtchenko, Thi-Bich-Hanh Dao, AbdelAli Ed-Dbali	Learning Approximate Consistencies.	CSCLP	2003	DBLP DOI BibTeX RDF
11	Julian Cummings, Michael Aivazis, Ravi Samtaney, Raúl A. Radovitzky, Sean Mauch, Daniel I. Meiron	A Virtual Test Facility for the Simulation of Dynamic Response in Materials.	J. Supercomput.	2002	DBLP DOI BibTeX RDF	shock physics simulation, parallel computing
11	P. Droll, M. Schäfer	A Pseudospectral Multi-Domain Method for the Incompressible Navier-Stokes Equations.	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	domain decomposition, incompressible flows, pseudospectral method
11	Rubén S. Montero, Ignacio Martín Llorente, Manuel D. Salas	A Robust Multigrid Algorithm for the Simulation of a Yawed Flat Plate.	J. Sci. Comput.	2002	DBLP DOI BibTeX RDF	plane implicit smoothers, semicoarsening, robust multigrid, flat plate boundary layer, computational fluid dynamics
11	Clark W. Barrett, David L. Dill, Aaron Stump	Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT.	CAV	2002	DBLP DOI BibTeX RDF	Satisfiability, First-Order Logic, Decision Procedures, Propositional Satisfiability
11	Shirley Moore, A. Jerry Baker, Jack J. Dongarra	Active netlib: an active mathematical software collection for inquiry-based computational science & engineering education.	JCDL	2002	DBLP DOI BibTeX RDF	education, software reuse, computational science, linear algebra, engineering, numerical analysis, learning environments, numerical methods, interactive interfaces, solvers, mathematical software, computational problems, computational servers
11	Fabrizio Ferrandi, Michele Rendine, Donatella Sciuto	Functional Verification for SystemC Descriptions Using Constraint Solving.	DATE	2002	DBLP DOI BibTeX RDF
11	Miguel A. Salido, Federico Barber	Disjunction of Non-binary and Numeric Constraint Satisfaction Problems.	CCIA	2002	DBLP DOI BibTeX RDF	non-binary constraints, Disjunctive constraints, CSPs
11	Luc De Raedt	Data Mining as Constraint Logic Programming.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
11	Ivan G. Graham, Alastair Spence, Eero Vainikko	Parallel Iterative Methods for Navier-Stokes Equations and Application to Stability Assessment (Distinguished Paper).	Euro-Par	2002	DBLP DOI BibTeX RDF
11	Michael Thielscher	Reasoning about Actions with CHRs and Finite Domain Constraints.	ICLP	2002	DBLP DOI BibTeX RDF
11	Guohua Jin, John M. Mellor-Crummey	Experiences tuning SMG98: a semicoarsening multigrid benchmark based on the hypre library.	ICS	2002	DBLP DOI BibTeX RDF	memory hierarchy, performance tuning, multigrid, stencils, cache blocking, time skewing
11	Piotr Uhruski, Marek Grochowski, Robert Schaefer	Multi-Agent Computing System in a Heterogeneous Network.	PARELEC	2002	DBLP DOI BibTeX RDF
11	Derek Overby, Zeki Melek, John Keyser	Interactive Physically-Based Cloud Simulation.	PG	2002	DBLP DOI BibTeX RDF
11	Gwan-Hwan Hwang	An Efficient Algorithm for Computing Communication Sets for Data Parallel Programs with Block-Cyclic Distribution.	ICPP Workshops	2002	DBLP DOI BibTeX RDF	HPF Compiler, Block-Cyclic Distributions, Parallelizing Compiler, Distributed Memory Machines, Data Parallel Programs
11	Seda Ogrenci Memik, Farzan Fallah	Accelerated SAT-based Scheduling of Control/Data Flow Graphs.	ICCD	2002	DBLP DOI BibTeX RDF
11	Mark S. Boddy, Daniel P. Johnson	A New Method for the Global Solution of Large Systems of Continuous Constraints.	COCOS	2002	DBLP DOI BibTeX RDF
11	Lintao Zhang, Sharad Malik	Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation.	CP	2002	DBLP DOI BibTeX RDF
11	Hans Schlenker, Georg Ringwelski	POOC: A Platform for Object-Oriented Constraint Programming.	International Workshop on Constraint Solving and Constraint Logic Programming	2002	DBLP DOI BibTeX RDF
11	Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani	Bounded Model Checking for Timed Systems.	FORTE	2002	DBLP DOI BibTeX RDF
11	Baris Taskin, Ivan S. Kourtev	Performance optimization of single-phase level-sensitive circuits using time borrowing and non-zero clock skew.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF	optimization, linear programming, clock skew, cycle stealing
11	Stefan Ratschan	Continuous First-Order Constraint Satisfaction.	AISC	2002	DBLP DOI BibTeX RDF	Reasoning, Constraint Programming
11	Michael Marte	A Modular Approach to Proving Confluence.	FroCoS	2002	DBLP DOI BibTeX RDF
11	Sadahiro Tani, Yoshihiro Uchida, Makoto Furuie, Shuji Tsukiyama, BuYeol Lee, Shuji Nishi, Yasushi Kubota, Isao Shirakawa, Shigeki Imai	Parasitic capacitance modeling for multilevel interconnects.	APCCAS (1)	2002	DBLP DOI BibTeX RDF
11	Ioannis P. Vlahavas, Ilias Sakellariou, Ivan Futó, Zoltán Pásztor, János Szeredi	CSPCONS: A Communicating Sequential Prolog with Constraints.	SETN	2002	DBLP DOI BibTeX RDF
11	John N. Hooker, Hak-Jin Kim, Greger Ottosson	A Declarative Modeling Framework that Integrates Solution Methods.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	linear programming, constraint programming, nonlinear programming, mathematical programming, modeling language, constraint propagation, optimization method
11	Patrick Amestoy, Iain S. Duff, Jean-Yves L'Excellent, Xiaoye S. Li	Analysis and comparison of two general sparse solvers for distributed memory computers.	ACM Trans. Math. Softw.	2001	DBLP DOI BibTeX RDF	Sparse direct solvers, multifrontal and supernodal factorizations, parallelism, distributed-memory computers
11	Chung-Yang Huang, Kwang-Ting Cheng	Using word-level ATPG and modular arithmetic constraint-solvingtechniques for assertion property checking.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
11	Ilya Pollak	ML optimality of PDE-based segmentation algorithms.	ICIP (2)	2001	DBLP DOI BibTeX RDF
11	Christopher Riley, Siddhartha Chatterjee, Rupak Biswas	High-performance Java codes for computational fluid dynamics.	Java Grande	2001	DBLP DOI BibTeX RDF	Java
11	Olivier Le Roux, Véronique Gaildrat, René Caubet	Using Constraint Propagation and Domain Reduction for the Generation Phase in Declarative Modeling.	IV	2001	DBLP DOI BibTeX RDF
11	Sergey P. Kopysov, Alexander K. Novikov	Parallel Adaptive Mesh Refinement with Load Balancing for Finite Element Method.	PaCT	2001	DBLP DOI BibTeX RDF
11	Bruno Legeard, Fabien Peureux	Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study.	ASE	2001	DBLP DOI BibTeX RDF	B notation, GSM 11-11 standard, Constraint Logic Programming, specification-based testing
11	Don-Lin Yang, Yeh-Ching Chung, Chih-Chang Chen, Ching-Jung Liao	A Dynamic Diffusion Optimization Method for Irregular Finite Element Graph Partitioning.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	dynamic diffusion, irregular finite element graphs, load balancing, partition, mapping, distributed memory multicomputers
11	Petter E. Bjørstad, Jacko Koster, Piotr Krzyzanowski	Domain Decomposition Solvers for Large Scale Industrial Finite Element Problems.	PARA	2000	DBLP DOI BibTeX RDF
11	M. Jahed Djomehri, Rupak Biswas, Rob F. Van der Wijngaart, Maurice Yarrow	Parallel and Distributed Computational Fluid Dynamics: Experimental Results and Challenges.	HiPC	2000	DBLP DOI BibTeX RDF
11	Daniel W. Schunk, Beth M. Plott	Using simulation to analyze supply chains.	WSC	2000	DBLP DOI BibTeX RDF
11	Denys Duchier, Joachim Niehren	Dominance Constraints with Set Operators.	Computational Logic	2000	DBLP DOI BibTeX RDF
11	Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi	Random 3-SAT: The Plot Thickens.	CP	2000	DBLP DOI BibTeX RDF
11	Akis Doganis	Interconnect Statistical Modeling: Structures and Measurement Methodologies.	VLSI Design	2000	DBLP DOI BibTeX RDF
11	Chung-Yang Huang, Kwang-Ting Cheng	Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques.	DAC	2000	DBLP DOI BibTeX RDF
11	Junehwa Song, G. Ramalingam, Raymond E. Miller, Byoung-Kee Yi	Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring System.	Multim. Syst.	1999	DBLP DOI BibTeX RDF	Temporal constraint systems, Interactive systems, Multimedia authoring, Incremental algorithms, Multimedia documents
11	Robert Joan-Arinyo, Antoni Soto-Riera	Combining Constructive and Equational Geometric Constraint-Solving Techniques.	ACM Trans. Graph.	1999	DBLP DOI BibTeX RDF	constructive techniques, equational techniques, rewriting systems, geometric constraint solving, canonical forms
11	Igor E. Kaporin, Igor N. Konshin	Parallel Solution of Large Sparse SPD Linear Systems Based on Overlapping Domain Decomposition.	PaCT	1999	DBLP DOI BibTeX RDF
11	Farid Ajili, Hendrik C. R. Lock	Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
11	Vladimír Székely, Márta Rencz	Fast Field Solvers for Thermal and Electrostatic Analysis.	DATE	1998	DBLP DOI BibTeX RDF	Field solvers, Microsystem design, Thermal simulation
11	Noboru Matsuda, Toshio Okamoto	Diagrammatic Reasoning for Geometry ITS to Teach Auxiliary Line Construction Problems.	Intelligent Tutoring Systems	1998	DBLP DOI BibTeX RDF
11	Timothy N. Jones, Dimitris N. Metaxas	Patient-Specific Analysis of Left Ventricular Blood Flow.	MICCAI	1998	DBLP DOI BibTeX RDF
11	Joxan Jaffar, Roland H. C. Yap	Open Constraint Programming.	CP	1998	DBLP DOI BibTeX RDF
11	Warwick Harvey, Peter J. Stuckey	Constraint Representation for Propagation.	CP	1998	DBLP DOI BibTeX RDF
11	Carlos Castro	COLETTE, Prototyping CSP Solvers Using a Rule-Based Language.	AISC	1998	DBLP DOI BibTeX RDF	Constraint Satisfaction Problems, Rewriting Logic
11	Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won	Performance of a Comprehensive and Efficient Constraint Library Based on Local Search.	Australian Joint Conference on Artificial Intelligence	1998	DBLP DOI BibTeX RDF
11	Mounir Hahad	A Parallel Sparse LU Decomposition with Application to Semiconductor Device Simulation.	Euro-Par	1997	DBLP DOI BibTeX RDF
11	Christine Solnon	Cooperation of LP Solvers for Solving MILPs.	ICTAI	1997	DBLP DOI BibTeX RDF
11	B. Gruber, Günter Haring, Dieter Kranzlmüller, Jens Volkert	Parallel Programming with CAPSE - A Case Study.	PDP	1996	DBLP DOI BibTeX RDF	Scalable Graphs, Modeling, Parallel Processing, Performance Prediction, Communication Patterns
11	Scott Woods, Giorgio Casinovi	Gate-level simulation of digital circuits using multi-valued Boolean algebras.	ICCAD	1995	DBLP DOI BibTeX RDF	Gate-level logic simulation, mixed-mode simulation, boolean equations solution, multi-valued logic
11	Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas	Combining Lazy Narrowing with Disequality Constraints.	PLILP	1994	DBLP DOI BibTeX RDF
11	Pankaj Mehra, Catherine H. Schulbach, Jerry C. Yan	A Comparison of Two Model-Based Performance-Prediction Techniques for Message-Passing Parallel Programs.	SIGMETRICS	1994	DBLP DOI BibTeX RDF	BDL
11	Kyle A. Gallivan, Bret A. Marsolf, Harry A. G. Wijshoff	The parallel solution of nonsymmetric sparse linear systems using the H* reordering and an associated factorization.	International Conference on Supercomputing	1994	DBLP DOI BibTeX RDF
11	Eleni Stroulia, Ashok K. Goel 0001	Learning Problem-Solving Concepts by Reflecting on Problem Solving.	ECML	1994	DBLP DOI BibTeX RDF
11	Michel Futtersack, Jean-Marc Labat	QUIZ, a Distributed Intelligent Tutoring System.	ICCAL	1992	DBLP DOI BibTeX RDF
11	Mark Christon	A vectorized 3-D finite element model for transient simulation of two-phase heat transport with phase transformation and a moving interface.	SC	1990	DBLP DOI BibTeX RDF	CRAY X-MP
11	Brian J. Mulvaney, Walter B. Richardson, Timothy L. Crandle	PEPPER-a process simulator for VLSI.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
11	Anna Stein	SASHA: The Automatic Generation of Rule-based Diagnostic Expert Systems.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF
11	Abraham Waksman	Simulating human problem solving which requires successive decisions (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
11	Abraham Waksman	A comparison between two paradigms of intelligent systems: an example.	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF
10	Jialin Zheng, Yangbin Zeng, Zhengming Zhao, Weicheng Liu, Han Xu, Shiqi Ji	A Semi-Implicit Parallel Leapfrog Solver With Half-Step Sampling Technique for FPGA-Based Real-Time HIL Simulation of Power Converters.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
10	Mehdi Karimi, Levent Tunçel	Domain-Driven Solver (DDS) Version 2.1: a MATLAB-based software package for convex optimization problems in domain-driven form.	Math. Program. Comput.	2024	DBLP DOI BibTeX RDF
10	Wei Wei 0016, Yuting Liu, Qinghui Zhang	An optimal pruned traversal tree-based fast minimum cut solver in dense graph.	Inf. Sci.	2024	DBLP DOI BibTeX RDF
10	Waldemar Rachowicz, Witold Cecot, Adam Zdunek	An Adaptive Two-Grid Solver for DPG Formulation of Compressible Navier-Stokes Equations in 3D.	Comput. Methods Appl. Math.	2024	DBLP DOI BibTeX RDF
10	Amjad Ali 0001, Shah Khusro	SA-MEAS: Sympy-based automated mathematical equations analysis and solver.	SoftwareX	2024	DBLP DOI BibTeX RDF
10	Akihiro Fujii, Teruo Tanaka, Kengo Nakajima	Light Weight Coarse Grid Aggregation for Smoothed Aggregation Algebraic Multigrid Solver.	IEEE Access	2024	DBLP DOI BibTeX RDF
10	Yuji Koguma	Tabu Search-Based Heuristic Solver for General Integer Linear Programming Problems.	IEEE Access	2024	DBLP DOI BibTeX RDF
10	Sardar Muhammad Hussain, José Alberto Cuminato, Ivan Silvestre Paganini Marin, Edson Cezar Wendland	A matrix solver approach for fracture flow simulation by Analytic Element Method.	Math. Comput. Simul.	2024	DBLP DOI BibTeX RDF
10	Sudarshan Vijay, Hendrik H. Heenen, Aayush R. Singh, Karen Chan, Johannes Voss	Number of sites-based solver for determining coverages from steady-state mean-field micro-kinetic models.	J. Comput. Chem.	2024	DBLP DOI BibTeX RDF
10	Mayez Al-Mouhamed, Lutfi A. Firdaus, Ayaz H. Khan, Nazeeruddin Mohammad	SpMV and BiCG-Stab sparse solver on Multi-GPUs for reservoir simulation.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
10	Soma Kawakami, Yosuke Mukasa, Siya Bao, Dema Ba, Junya Arai, Satoshi Yagi, Junji Teramoto, Nozomu Togawa	Ising-Machine-Based Solver for Constrained Graph Coloring Problems.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2024	DBLP DOI BibTeX RDF
10	Adam Kaleo Roberts, Jiayi Wu, Alejandro Monsivais-Huertero, Jasmeet Judge, Robert C. Moore, Kamal Sarabandi	Microwave Backscatter Phenomenology of Corn Fields at L-Band Using a Full-Wave Electromagnetic Solver.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF