Tag solver [43 articles] Export

Recent papers classified by the tag solver.

	Using Java CSP Solvers in the Automated Analyses of Feature Models [My Copy] In In Post-Proceedings of the Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE). LNCS 4143, Vol. 4143 (2005) by David Benavides, Sergio Segura, Pablo Trinidad, Antonio Ruiz-cortés posted to test solver performance java jacop csp comparison choco by voronov on 2009-12-01 19:04:09 as
	SymChaff: a structure-aware satisfiability solver [My Copy] In AAAI'05: Proceedings of the 20th national conference on Artificial intelligence (2005), pp. 467-474. by Ashish Sabharwal posted to symmetry solver sat by voronov on 2009-11-23 14:58:57 as
	SymChaff: exploiting symmetry in a structure-aware satisfiability solver [My Copy] Constraints, Vol. 14, No. 4. (1 December 2009), pp. 478-505. by Ashish Sabharwal posted to symmetry solver sat csp constraint by voronov on 2009-11-23 14:57:10 as
	Optimized Cutting Plane Algorithm for Large-Scale Risk Minimization [My Copy] Journal of Machine Learning Research, Vol. 10 (October 2009), pp. 2157-2192. by Vojtěch Franc, Sören Sonnenburg posted to svm solver optimisation machine-learning cutting-plane by bedo on 2009-11-09 21:57:50 as
	Reusable object-oriented solutions for numerical simulation of PDEs in a high performance environment [My Copy] Scientific Programming, Vol. 14, No. 2. (1 January 2006), pp. 111-139. by Andrea Lani, Tiago Quintino, Dries Kimpe, Herman Deconinck, Stefan Vandewalle, Stefaan Poedts posted to solver pde object-oriented numerical high-performance computing algorithm by michaelbussmann on 2009-10-28 13:04:27 as
	Multiple right-hand side techniques for the numerical simulation of quasistatic electric and magnetic fields☆ [My Copy] Journal of Computational and Applied Mathematics, Vol. 215, No. 2. (01 June 2008), pp. 328-338. by M. Clemens, M. Helias, T. Steinmetz, G. Wimmer posted to static solver simulation numerical magnetic field electric algorithm by michaelbussmann on 2009-10-28 12:56:31 as
	Numerical solution of initial boundary value problems involving maxwell's equations in isotropic media [My Copy] Antennas and Propagation, IEEE Transactions on In Antennas and Propagation, IEEE Transactions on [legacy, pre - 1988], Vol. 14, No. 3. (06 January 2003), pp. 302-307. by Kane Yee posted to value solver relativistic mesh medium maxwell isotropic grid finite equation difference boundary algorithm by michaelbussmann on 2009-10-25 11:47:19 as along with 3 people nikunj1729 gsm104 champak
	An improved shooting approach for solving the time-independent Schrödinger equation for III/V QW structures [My Copy] Physics Letters A, Vol. 286, No. 2-3. (23 July 2001), pp. 199-204. by S. Paul posted to solver shooting schrodinger by blswenson on 2009-10-12 21:59:55 as
	Efficient Solution of the Schrödinger-Poisson Equations in Semiconductor Device Simulations [My Copy] Large-Scale Scientific Computing (2006), pp. 602-609. by Alex Trellakis, Till Andlauer, Peter Vogl posted to solver schrodinger by blswenson on 2009-10-12 21:58:19 as
	An effective algorithm for numerical Schrödinger solver of quantum well structures [My Copy] Journal of Computational Electronics, Vol. 7, No. 1. (1 March 2008), pp. 1-5. by Jongchol Kim, Chia-Yu Chen, Robert Dutton posted to solver schrodinger by blswenson on 2009-10-12 21:48:45 as
	The DLV system for knowledge representation and reasoning [My Copy] ACM Trans. Comput. Logic, Vol. 7, No. 3. (2006), pp. 499-562. by Nicola Leone, Gerald Pfeifer, Wolfgang Faber, et al.Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello posted to toolbox solver semantics by andreff on 2009-10-01 14:54:33 as
	Simple and robust solver for the Poisson-Boltzmann equation [My Copy] Physical Review E (Statistical, Nonlinear, and Soft Matter Physics), Vol. 80, No. 1. (22 July 2009), 016705. by M. Baptista, R. Schmitz, B. Dünweg posted to algorithm boltzmann equation euler lagrange poisson solver by michaelbussmann on 2009-07-30 17:55:26 as
	An Eulerian method for the solution of the multi-species drift-kinetic equation [My Copy] Plasma Physics and Controlled Fusion, Vol. 51, No. 7. (30 June 2009), 075018. by E. A. Belli, J. Candy posted to algorithm drift equation eulerian kinetic multi-species simulation solver by michaelbussmann on 2009-07-13 17:41:16 as
	A highly accurate fast solver for Helmholtz equations [My Copy] In ICS '97: Proceedings of the 11th international conference on Supercomputing (1997), pp. 52-59. by Xian H. Sun, Yu Zhuang posted to helmholtz-equation p_my_db_cul solver by pick600 on 2009-07-06 07:43:51 as
	A fast solver for the Helmholtz equation on long, thin structures [My Copy] Antennas and Propagation, IEEE Transactions on In Antennas and Propagation, IEEE Transactions on, Vol. 53, No. 9. (2005), pp. 2911-2919. by Hongwei Cheng, Junsheng Zhao, V. Rokhlin, N. Yarvin posted to helmholtz-equation solver by pick600 on 2009-07-04 11:02:00 as
	A Fast Spectral Solver for a 3D Helmholtz Equation [My Copy] SIAM Journal on Scientific Computing, Vol. 20, No. 6. (1999), pp. 2237-2260. by E. Braverman, M. Israeli, A. Averbuch posted to helmholtz-equation solver by pick600 on 2009-07-04 08:53:41 as
	Jacobian-free Newton-Krylov methods: a survey of approaches and applications [My Copy] Journal of Computational Physics, Vol. 193, No. 2. (20 January 2004), pp. 357-397. by D. A. Knoll, D. E. Keyes posted to computational implicit solver by cooperdowns on 2009-06-19 21:55:24 as
	Hybrid block-AMR in cartesian and curvilinear coordinates: MHD applications [My Copy] Journal of Computational Physics, Vol. 226, No. 1. (10 September 2007), pp. 925-946. by B. Vanderholst, R. Keppens posted to amr arbgeometry computational mhd solver by cooperdowns on 2009-06-19 21:52:45 as
	Mesh Refinement Algorithms in an Unstructured Solver for Multiphase Flow Simulation Using Discrete Particles [My Copy] Journal of Computational Physics (19 May 2009) by Yuanhong Li, Song-Charng Kong posted to discrete flow grid mesha multi-phase particle refinement simulation solver unstructured by michaelbussmann on 2009-05-28 09:41:25 as
	Grid method for computation of generalized spheroidal wave functions based on discrete variable representation [My Copy] Physical Review E (Statistical, Nonlinear, and Soft Matter Physics), Vol. 79, No. 3. (30 March 2009), 036710. by Di Yan, Liang Y. Peng, Qihuang Gong posted to algorithm analytic discrete function grid model representation solver spehroidal variable wave by michaelbussmann on 2009-05-27 16:24:33 as
	A Coordination-Based Framework for Distributed Constraint Solving [My Copy] Recent Advances in Constraints (2003), pp. 421-454. by Peter Zoeteweij posted to constraint distributed solver by mcgrathm on 2009-04-11 00:29:46 as
	AbsCon: A Prototype to Solve CSPs with Abstraction [My Copy] Principles and Practice of Constraint Programming — CP 2001 (2001), pp. 730-744. by Sylvain Merchez, Christophe Lecoutre, Frederic Boussemart posted to solver by radsz on 2009-04-02 14:25:10 as
	Speeding Up Constraint Propagation [My Copy] Principles and Practice of Constraint Programming – CP 2004 (2004), pp. 619-633. by Christian Schulte, Peter J. Stuckey posted to solver by radsz on 2009-04-02 13:08:58 as
	Watched Literals for Constraint Propagation in Minion [My Copy] Principles and Practice of Constraint Programming - CP 2006 (2006), pp. 182-197. by Ian Gent, Chris Jefferson, Ian Miguel posted to solver by radsz on 2009-04-02 12:09:55 as
	A practical reconfigurable hardware accelerator for Boolean satisfiability solvers [My Copy] In DAC '08: Proceedings of the 45th annual conference on Design automation (2008), pp. 780-785. by John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang posted to bcp co-processor fpga reconfigurable sat satisfiability solver by jmw0116 to the group rit_ee732 on 2009-02-19 19:36:31 as
	Checking Safety Properties Using Induction and a SAT-Solver [My Copy] Formal Methods in Computer-Aided Design (2000), pp. 127-144. by Mary Sheeran, Satnam Singh, Gunnar Stålmarck posted to induction sat solver temporal by voronov on 2008-09-15 08:30:10 as
	An Extensible SAT-solver [ver 1.2] [My Copy] by Niklas Een, Niklas Sörensson posted to sat solver by luisgil on 2008-08-06 22:58:39 as
	Chaff: Engineering an Efficient SAT Solver [My Copy] In Proceedings of the 38th Design Automation Conference (DAC'01) (2001) by Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik posted to sat solver by luisgil on 2008-08-06 22:56:18 as along with 1 person mccrimson
	A multigrid conjugate gradient method [My Copy] Applied Numerical Mathematics, Vol. In Press, Corrected Proof by Christoph Pflaum posted to conjugate gradient multigrid solver by weymouth on 2008-07-17 18:03:00 as
	A Simplified Implicit Maxwell Solver [My Copy] Journal of Computational Physics, Vol. 183, No. 1. (20 November 2002), pp. 117-141. by Paolo Ricci, Giovanni Lapenta, J. U. Brackbill posted to implicit maxwell solver vlasov by michaelbussmann on 2008-06-06 15:31:19 as
	Object-Oriented Modeling of Parallel PDE Solvers [My Copy] by Michael Thuné, Krister Åhlander, Malin Ljungberg, Markus Nordén, Kurt Otto, Jarmo Rantakokko posted to algorithm object-oriented parallel pde solver by michaelbussmann on 2008-06-04 17:56:40 as
	A mixed finite element formulation for Maxwell's equations in the time domain [My Copy] Journal of Computational Physics, Vol. 85, No. 2. (December 1989), pp. 503-503. by Robert L. Lee, Niel K. Madsen posted to domain element equation fem finite maxwell solver time by michaelbussmann on 2008-06-04 17:28:05 as
	Rigorous charge conservation for local electromagnetic field solvers [My Copy] Computer Physics Communications, Vol. 69, No. 2-3. ( 1992), pp. 306-316. by John Villasenor, Oscar Buneman posted to algorithm charge conservation electromagnetic field gauss laws simulation solver by michaelbussmann on 2008-06-04 17:20:47 as along with 1 person iff
	Advanced 3D Poisson solvers and particle-in-cell methods for accelerator modeling [My Copy] Journal of Physics: Conference Series, Vol. 16, No. 1. (2005), 481. by David B. Serafini, Peter Mccorquodale, Phillip Colella posted to accelerator algorithm particle-in-cell pic poisson simulation solver by michaelbussmann on 2008-04-23 19:05:55 as
	Conjugate gradient methods for indefinite systems [My Copy] Numerical Analysis (1976), pp. 73-89. by R. Fletcher posted to bi-cg solver by wchannels on 2008-04-15 16:48:23 as
	CGS, A Fast Lanczos-Type Solver for Nonsymmetric Linear systems [My Copy] SIAM Journal on Scientific and Statistical Computing, Vol. 10, No. 1. (1989), pp. 36-52. by Peter Sonneveld posted to cgs solver by wchannels on 2008-04-15 16:40:40 as
	Post-modern Electromagnetics: Using Intelligent MaXwell Solvers [My Copy] (23 March 1999) by Christian Hafner posted to difference electromagnetic electrostatic element finite grid magnetostatic maxwell multipole simulation solver time-domain by michaelbussmann on 2008-02-28 15:22:47 as
	March_eq: Implementing Additional Reasoning into an Efficient Look-Ahead SAT Solver [My Copy] Theory and Applications of Satisfiability Testing (2005), pp. 345-359. by Marijn Heule, Mark Dufour, Joris van Zwieten, Hans van Maaren posted to sat sat-solver solver by voronov on 2008-02-10 23:35:57 as along with 1 person beete
	An Extensible SAT-solver [My Copy] Theory and Applications of Satisfiability Testing (2004), pp. 333-336. by Niklas Eén, Niklas Sörensson posted to solver sat-solver sat minisat interface implementation dpll by voronov on 2007-12-05 16:20:13 as along with 5 people chsticksel bfraser tuncay mccrimson krauss
	Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques [My Copy] ACM Trans. Math. Softw., Vol. 32, No. 1. (March 2006), pp. 138-156. by Laurent Granvilliers, Fr&\#233;d&\#233;ric Benhamou posted to constraint interval satisfaction solver by ouiiijayseth on 2007-06-17 01:39:51 as
	Propositional Satisfiability and Constraint Programming: A comparative survey [My Copy] ACM Comput. Surv., Vol. 38, No. 4. (2006), 12. by Lucas Bordeaux, Youssef Hamadi, Lintao Zhang posted to constraint programming sat solver by yijunyu on 2007-06-04 16:00:40 as along with 4 people and 1 group voronov pwais benavides bfraser tdg
	The SBML ODE Solver Library: a native API for symbolic and fast numerical analysis of reaction networks. [My Copy] Bioinformatics (9 March 2006) by Rainer Machné, Andrew Finney, Stefan Müller, James Lu, Stefanie Widder, Christoph Flamm posted to dynamic library modeling ode sbml software solver by wnpx on 2006-09-02 11:28:31 as along with 4 people eckart_bindewald ilh mhucka josepe
	Simple and minimum-cost satisfiability for goal models [My Copy] (2004) by R. Sebastiani, P. Giorgini, J. Mylopoulos posted to goal models satisfiability solver by yijunyu on 2006-08-28 19:35:05 as

Note: You may cite this page as: http://www.citeulike.org/tag/solver

sat	10
algorithm	9
simulation	6
constraint	4
equation	4
grid	4
maxwell	4
finite	3
helmholtz-equation	3
satisfiability	3
schrodinger	3
bcp	2
co-processor	2
computational	2
csp	2
difference	2
discrete	2
electromagnetic	2
element	2
field	2
fpga	2
implicit	2
numerical	2
object-oriented	2
pde	2
poisson	2
reconfigurable	2
sat-solver	2
symmetry	2
accelerator	1
amr	1
analytic	1
arbgeometry	1
boltzmann	1
boundary	1
charge	1
comparison	1
computing	1
conjugate	1
conservation	1
cutting-plane	1
distributed	1
dpll	1
drift	1
dynamic	1
electric	1
electrostatic	1
euler	1
eulerian	1
fem	1
flow	1
gauss	1
goal	1
gradient	1
high-performance	1
implementation	1
induction	1
interface	1
interval	1
isotropic	1
jacop	1
java	1
kinetic	1
library	1
machine-learning	1
magnetic	1
magnetostatic	1
medium	1
mesh	1
mesha	1
mhd	1
minisat	1
modeling	1
models	1
multi-phase	1
multi-species	1
multigrid	1
multipole	1
ode	1
optimisation	1
p_my_db_cul	1
particle	1
particle-in-cell	1
performance	1
pic	1
refinement	1
relativistic	1
representation	1
satisfaction	1
semantics	1
shooting	1
software	1
spehroidal	1
temporal	1
test	1
time	1
time-domain	1
toolbox	1
unstructured	1
week9	1

Tag solver [43 articles] Export

Related Tags