|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2478 occurrences of 1393 keywords
|
|
|
Results
Found 7204 publication records. Showing 7204 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | David A. Bader, Vaddadi P. Chandu, Mi Yan |
ExactMP: An Efficient Parallel Exact Solver for Phylogenetic Tree Reconstruction Using Maximum Parsimony. |
ICPP |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Marc Meister, Khalil Djelloul, Thom W. Frühwirth |
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. |
CSCLP |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Feng Lu 0002, Madhu K. Iyer, Ganapathy Parthasarathy, Li-C. Wang, Kwang-Ting Cheng, Kuang-Chien Chen |
An Efficient Sequential SAT Solver With Improved Search Strategies. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Zerrin Yumak, Tatyana M. Yakhno |
HIS: Hierarchical Solver for Over-Constrained Satisfaction Problems. |
TAINN |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Jue Wu, Albert C. S. Chung |
Cross Entropy: A New Solver for Markov Random Field Modeling and Applications to Medical Image Segmentation. |
MICCAI |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Dipanjan Gope, Indranil Chowdhury, Vikram Jandhyala |
DiMES: multilevel fast direct solver based on multipole expansions for parasitic extraction of massively coupled 3D microelectronic structures. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
non-iterative, parasitics, multilevel, multipole |
27 | Alberto Bemporad, Nicolò Giorgetti |
A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Alberto Bertoldo, Mauro Bianco, Geppino Pucci |
A Fast Multifrontal Solver for Non-linear Multi-physics Problems. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Vladimir Sidorov, Vitaly Telerman |
Industrial Application of External Black-Box Functions in Constraint Programming Solver. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Niklas Eén, Niklas Sörensson |
An Extensible SAT-solver. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Hongyu Chen, Chung-Kuan Cheng, Nan-Chi Chou, Andrew B. Kahng, John F. MacDonald, Peter Suaris, Bo Yao, Zhengyong Zhu |
An algebraic multigrid solver for analytical placement with layout based clustering. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
algebraic multigrid method, layout based clustering, analytical placement |
27 | C. V. Ramakrishnan, S. Ramesh Kumar |
Comparative Performance of Frontal (Direct) and PCG (Iterative) Solver Based Parallel Computations of Finite Element Analysis. |
IPDPS |
2002 |
DBLP DOI BibTeX RDF |
Finite Element Analysis (FEA), Symmetric Multi-processor (SMP), Preconditioned Conjugate Gradient (PCG), degrees of freedom (dof), maximum bandwidth (mbwd), maximum frontwidth (mfwd), Number of processors (Numprocs), iterations (iter), Message Passing Interface (MPI), Single Instruction Multiple Data (SIMD), Multiple Instruction Multiple Data (MIMD) |
27 | Takeshi Iwashita, Tomohiro Tami, Masanori Kanazawa |
Parallel Processing of ILU Preconditioned BiCGSTAB Solver Using Algebraic Multi-Color Ordering Method. |
PARELEC |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Abdessamad Qaddouri, Jean Côté |
Preconditioning for an Iterative Elliptic Solver on a Vector Processor. |
VECPAR |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Amir Averbuch, Boris Epstein 0002, Ludimila Ioffe, Irad Yavneh |
Efficient Parallelization of a Three-Dimensional Navier-Stokes Solver on MIMD Multiprocessors. |
J. Supercomput. |
2000 |
DBLP DOI BibTeX RDF |
MPI, compressible, parallel implementation, Navier-Stokes equations, three-dimensional, turbulent flows |
27 | Jinsong Zhao |
Singularity-treated quadrature-evaluated method of moments solver for 3-D capacitance extraction. |
DAC |
2000 |
DBLP DOI BibTeX RDF |
|
27 | C. T. H. Everaars, Bert Lisser |
Coordination of a Parallel Proposition Solver. |
COORDINATION |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Mats Carlsson, Greger Ottosson, Björn Carlson |
An Open-Ended Finite Domain Constraint Solver. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
Implementation of Constraint Systems, Indexicals, Constraint Programming, Global Constraints, Finite Domains |
27 | Eugene Goldberg |
Boundary Points and Resolution. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
proof quality, resolution, SAT-solver, boundary points |
27 | Michael M. Kazhdan, Hugues Hoppe |
Streaming multigrid for gradient-domain operations on large images. |
ACM Trans. Graph. |
2008 |
DBLP DOI BibTeX RDF |
B-spline finite elements, gigapixel images, multi-level streaming, out-of-core multigrid solver, Poisson equation |
27 | Xiang Fu 0001, Kai Qian |
SAFELI: SQL injection scanner using symbolic execution. |
TAV-WEB |
2008 |
DBLP DOI BibTeX RDF |
symbolic execution, automated testing, constraint solver, SQL injection attack |
27 | Murthy Palla, Jens Bargfrede, Klaus Koch, Walter Anheier, Rolf Drechsler |
Adaptive Branch and Bound Using SAT to Estimate False Crosstalk. |
ISQED |
2008 |
DBLP DOI BibTeX RDF |
Crosstalk Analysis, False Noise, STA, SAT Solver |
27 | Ondrej Jakl, Roman Kohut, Jirí Starý |
MPI and OpenMP Computations for Nuclear Waste Deposition Models. |
PPAM |
2007 |
DBLP DOI BibTeX RDF |
deep geological repository, thermo-elasticity, parallel solver, MPI, OpenMP, mathematical model |
27 | Javier Álvez, Paqui Lucio |
Equational Constraint Solving Via a Restricted Form of Universal Quantification. |
FoIKS |
2006 |
DBLP DOI BibTeX RDF |
constraint satisfaction, equality, solver, answer, term algebra |
27 | Daniel E. Cooke |
Abstraction, concurrency, and communal computing in SequenceL. |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
SequenceL, declarative constructs, nonscalar processing, problem solver, metastructure, data products, data structures, concurrency, abstraction, computer language, language constructs, communal computing |
25 | Hee-Seok Kim, Shengzhao Wu, Li-Wen Chang, Wen-mei W. Hwu |
A Scalable Tridiagonal Solver for GPUs. |
ICPP |
2011 |
DBLP DOI BibTeX RDF |
Tridiagonal solver, Tridiagonal systems, GPGPU, GPU Computing |
25 | Per-Gunnar Martinsson |
A Fast Direct Solver for a Class of Elliptic Partial Differential Equations. |
J. Sci. Comput. |
2009 |
DBLP DOI BibTeX RDF |
Discrete Laplace operator, Hierarchically semi-separable matrix, H-matrix, Fast matrix algebra, Fast matrix inversion, Direct method, Fast solver |
25 | Yun Guan, Jan Verschelde |
Parallel Implementation of a Subsystem-by-Subsystem Solver. |
HPCS |
2008 |
DBLP DOI BibTeX RDF |
subsystem-by-subsystem solver, polynomial systems, homotopy continuation |
25 | Mihai Oltean |
A-Brain: the multiple problems solver. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
artificial brain, general problem solver, genetic programming, multi expression programming |
25 | Mohammad Ghoniem, Hadrien Cambazard, Jean-Daniel Fekete, Narendra Jussien |
Peeking in solver strategies using explanations visualization of dynamic graphs for constraint programming. |
SOFTVIS |
2005 |
DBLP DOI BibTeX RDF |
finite domain solver, graph drawing algorithms for software visualization, visualization of algorithms, constraint programming, visual debugging |
25 | James D. Callahan, John M. Tyler |
Parallel Implementation of a Frontal Finite Element Solver on Multiple Platforms. |
SAC |
1999 |
DBLP DOI BibTeX RDF |
frontal solver, parallel, MPI, finite element, workstation clusters |
25 | Keying Wu, P. K. H. Ng, Xing Dong Jia, Richard M. M. Chen, A. M. Layfield |
Performance tuning of a multiprocessor sparse matrix equation solver. |
HICSS (1) |
1995 |
DBLP DOI BibTeX RDF |
multiprocessor sparse matrix equation solver, sparse matrix equation, linear simultaneous equations, electrical circuit, multiprocessor implementation, parallel direct method, parallel algorithms, circuit analysis computing, SPICE, SPICE, circuit simulation, sparse matrices, performance tuning |
23 | Yuri Evtushenko, Mikhail Posypkin, Israel Sigal |
A framework for parallel large-scale global optimization. |
Comput. Sci. Res. Dev. |
2009 |
DBLP DOI BibTeX RDF |
Parallel global optimization, Nonlinear programming, knapsack problems, Heuristic methods, Branch-and-bound methods |
23 | Filip Maric |
Formalization and Implementation of Modern SAT Solvers. |
J. Autom. Reason. |
2009 |
DBLP DOI BibTeX RDF |
Algorithms, Data structures, Software verification, DPLL, SAT solving |
23 | Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry |
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method. |
FM |
2009 |
DBLP DOI BibTeX RDF |
Scope-bounded checking, computation graph, first-order logic, SAT, Alloy, white-box testing, lightweight formal method |
23 | Ilkka Niemelä |
Integrating Answer Set Programming and Satisfiability Modulo Theories. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Matthew Lewis 0004, Paolo Marin, Tobias Schubert 0001, Massimo Narizzano, Bernd Becker 0001, Enrico Giunchiglia |
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
Parallel QBF Solving, Master/Slave Architecture, MPI, Message Passing |
23 | Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy |
Solving (Weighted) Partial MaxSAT through Satisfiability Testing. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Mate Soos, Karsten Nohl, Claude Castelluccia |
Extending SAT Solvers to Cryptographic Problems. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Adolfo Rodriguez, Luis Basañez, Enric Celaya |
A Relational Positioning Methodology for Robot Task Specification and Execution. |
IEEE Trans. Robotics |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Thomas George, Anshul Gupta, Vivek Sarin |
A Recommendation System for Preconditioned Iterative Solvers. |
ICDM |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Khalil Djelloul |
Combination of decomposability and propagation for solving first-order constraints in decomposable theories. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
complete theory, first-order constraint satisfaction problems, first-order constraint solvers, first-order constraints, rewriting rules |
23 | Vadim Ryvchin, Ofer Strichman |
Local Restarts. |
SAT |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Yuji Shinano, Tetsuya Fujie |
ParaLEX: A Parallel Extension for the CPLEX Mixed Integer Optimizer. |
PVM/MPI |
2007 |
DBLP DOI BibTeX RDF |
Parallel Branch-and-cut, Mixed Integer Programming, Master-Worker |
23 | Maria Paola Bonacina, Mnacho Echenim |
T-Decision by Decomposition. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Karljohan E. Lundin Palmerius |
Fast and High Precision Volume Haptics. |
WHC |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Miquel Ramírez, Hector Geffner |
Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT. |
CP |
2007 |
DBLP DOI BibTeX RDF |
|
23 | David Corsar, Derek H. Sleeman |
KBS development through ontology mapping and ontology driven acquisition. |
K-CAP |
2007 |
DBLP DOI BibTeX RDF |
problem solvers, ontology, reuse, mapping, knowledge acquisition, KBS |
23 | Íñigo Ugarte, Pablo Sanchez |
Assertion checking of control dominated systems with nonlinear solvers. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Alexander Metzner, Christian Herde |
RTSAT-- An Optimal and Efficient Approach to the Task Allocation Problem in Distributed Architectures. |
RTSS |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Gerald R. Morris, Viktor K. Prasanna, Richard D. Anderson |
An FPGA-Based Application-Specific Processor for Efficient Reduction of Multiple Variable-Length Floating-Point Data Sets. |
ASAP |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Paul W. Purdom, Daniel Le Berre, Laurent Simon |
A parsimony tree for the SAT2002 competition. |
Ann. Math. Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
empirical evaluation, parsimony, Boolean satisfiability (SAT) |
23 | Zhaohui Fu, Yinlei Yu, Sharad Malik |
Considering Circuit Observability Don't Cares in CNF Satisfiability. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Islam Elkabani, Enrico Pontelli, Tran Cao Son |
SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Chu Min Li, Felip Manyà, Jordi Planes |
Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Lisa Torrey, Trevor Walker, Jude W. Shavlik, Richard Maclin |
Using Advice to Transfer Knowledge Acquired in One Reinforcement Learning Task to Another. |
ECML |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Yuji Shinano, Tetsuya Fujie, Yuusuke Kounoike |
Effectiveness of Parallelizing the ILOG-CPLEX Mixed Integer Optimizer in the PUBB2 Framework. |
Euro-Par |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Seung Jo Kim, Chang Sung Lee, Jeong Ho Kim, Minsu Joh, Sangsan Lee |
IPSAP: A High-performance Parallel Finite Element Code for Large-scale Structural Analysis Based on Domain-wise Multifrontal Technique. |
SC |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Greg Nelson |
Foundations of a Constraint-Based Illustrator. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Peixin Zhong, Margaret Martonosi, Pranav Ashar, Sharad Malik |
Solving Boolean Satisfiability with Dynamic Hardware Configurations. |
FPL |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Marco Baioletti, Stefano Marcugini, Alfredo Milani |
An Extension of SATPLAN for Planning with Constraints. |
AIMSA |
1998 |
DBLP DOI BibTeX RDF |
|
23 | David Cyrluk, M. Oliver Möller, Harald Rueß |
An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Michael Thuné, Krister Åhlander |
Towards an Expressive Language for PDE Solvers. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
composite grids, parallel, object-oriented, scientific computing |
23 | Sumit Sur, A. P. Wim Böhm |
Analysis of non-strict functional implementations of the Dongarra-Sorensen eigensolver. |
International Conference on Supercomputing |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Deb Banerjee, Thomas Tysinger, Wayne Smith |
A scalable high-performance environment for fluid flow analysis on unstructured grids. |
SC |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Pascal Van Hentenryck, Yves Deville |
Operational Semantics of Constraint Logic Programming over Finite Domains. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
21 | Cosmina Chise, Ioan Jurca |
Phymss: performance hybrid model solver and simulator based on UML MARTE diagrams. |
WOSP/SIPEW |
2010 |
DBLP DOI BibTeX RDF |
simulation, performance, automation, uml, hybrid model |
21 | Florian Pigorsch, Christoph Scholl 0001 |
An AIG-Based QBF-solver using SAT for preprocessing. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
Boolean satisfiability, quantified boolean formulas |
21 | Ashish Sabharwal |
SymChaff: exploiting symmetry in a structure-aware satisfiability solver. |
Constraints An Int. J. |
2009 |
DBLP DOI BibTeX RDF |
SymChaff, Complete multi-class symmetry, Global symmetry, High-level representation, Planning, SAT, Boolean satisfiability |
21 | Lars Schneidenbach, Bettina Schnor, Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub |
Experiences Running a Parallel Answer Set Solver on Blue Gene. |
PVM/MPI |
2009 |
DBLP DOI BibTeX RDF |
Applications based on Message-Passing, Performance evaluation, Answer Set Programming |
21 | Jingchao Chen |
Building a Hybrid SAT Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
Conflict-driven, XOR reasoning, Hybrid solving technique, search pruning technique, Look-ahead, Boolean satisfiability (SAT) |
21 | David E. Johnson 0001, Elaine Cohen |
Computing surface offsets and bisectors using a sampled constraint solver. |
Graphics Interface |
2009 |
DBLP BibTeX RDF |
|
21 | Sanjukta Bhowmick, Brice Toth, Padma Raghavan |
Towards Low-Cost, High-Accuracy Classifiers for Linear Solver Selection. |
ICCS (1) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
HAMPI: a solver for string constraints. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
string constraints, regular languages, context-free languages |
21 | Mariana Luderitz Kolberg, Luiz Gustavo Fernandes, Dalcidio Moraes Claudio |
Dense Linear System: A Parallel Self-verified Solver. |
Int. J. Parallel Program. |
2008 |
DBLP DOI BibTeX RDF |
Verified computing, Parallel computing, Linear systems |
21 | Ye Zhao 0003 |
Lattice Boltzmann based PDE solver on the GPU. |
Vis. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Laplace and Poisson equation, Volume smoothing, Diffusion, Image editing, Lattice Boltzmann model, Surface fairing |
21 | Arun V. Sathanur, Ritochit Chakraborty, Vikram Jandhyala |
Accurate statistical analysis of a differential low noise amplifier using a combined SPICE-field solver approach. |
ISCAS |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Mariana Luderitz Kolberg, Gerd Bohlender, Dalcidio Moraes Claudio |
Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation. |
VECPAR |
2008 |
DBLP DOI BibTeX RDF |
Topics of the conference list Numerical algorithms for CS? Parallel or Distributed Computation and Cluster Computation |
21 | Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem |
Hardware based algorithm for conflict diagnosis in SAT solver. |
AICCSA |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Francisco Azevedo |
Cardinal: A Finite Sets Constraint Solver. |
Constraints An Int. J. |
2007 |
DBLP DOI BibTeX RDF |
Constraint Logic Programming - PI, Primary Input - TG, Test Generation, CLP |
21 | Mona Safar, Mohamed Shalan, M. Watheq El-Kharashi, Ashraf Salem |
Interactive presentation: A shift register based clause evaluator for reconfigurable SAT solver. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Choon Hui Teo, Alexander J. Smola, S. V. N. Vishwanathan, Quoc V. Le |
A scalable modular convex solver for regularized risk minimization. |
KDD |
2007 |
DBLP DOI BibTeX RDF |
optimization, algorithms, convexity |
21 | Alberto Bertoldo |
FEMS: An Adaptive Finite Element Solver. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Shai Shalev-Shwartz, Yoram Singer, Nathan Srebro |
Pegasos: Primal Estimated sub-GrAdient SOlver for SVM. |
ICML |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Kim Hwa Lim, Joon-Ho Lee, Gang Ye, Qing Huo Liu |
An efficient forward solver in electrical impedance tomography by spectral element method. |
IEEE Trans. Medical Imaging |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Torsten Hoefler, Peter Gottschling, Wolfgang Rehm, Andrew Lumsdaine |
Optimizing a Conjugate Gradient Solver with Non-Blocking Collective Operations. |
PVM/MPI |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Markus Blatt, Peter Bastian |
The Iterative Solver Template Library. |
PARA |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Daisuke Maruyama, Incheon Paik, Mitsuteru Shinozawa |
A Flexible and Dynamic CSP Solver for Web Service Composition in the Semantic Web Environment. |
CIT |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Ben Browning, Anja Remshagen |
A SAT-based solver for Q-ALL SAT. |
ACM Southeast Regional Conference |
2006 |
DBLP DOI BibTeX RDF |
learning, logic programming, quantified Boolean formula |
21 | Rafiq Muhammad 0006, Peter J. Stuckey |
A Stochastic Non-CNF SAT Solver. |
PRICAI |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Malay K. Ganai, Muralidhar Talupur, Aarti Gupta |
SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Minoru Fujishima, Masahiro Shimura |
On-chip high-speed solver of inverse problems based on quantum-computing principle. |
ISCAS |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Thomas Strohmer, Roman Vershynin |
A Randomized Solver for Linear Systems with Exponential Convergence. |
APPROX-RANDOM |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Domagoj Babic, Alan J. Hu |
Integration of supercubing and learning in a SAT solver. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Fabrice Bouquet, Bruno Legeard, Fabien Peureux |
CLPS-B - A constraint solver to animate a B specification. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
B notation, Evaluation of specifications, Animation, Constraint logic programming, Set constraints |
21 | Yuliya Lierler, Marco Maratea |
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Abdou Guermouche, Jean-Yves L'Excellent |
Memory-Based Scheduling for a Parallel Multifrontal Solver. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
scheduling, memory, Sparse matrices, multifrontal method |
21 | Robert Piotr Bycul |
A Graphical Interface to a Parallel Solver: PSGE Description Through an Application. |
PARELEC |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Hideyuki Koshigoe |
Direct Solver Based on FFT and SEL for Diffraction Problems with Distribution. |
International Conference on Computational Science |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
QuBE++: An Efficient QBF Solver. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 7204 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|