"On Weakening Strategies for PB Solvers" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Ciphers for solvers	Geoffrey Mott-Smith	1954	Geoffrey Mott-Smith
Modern Solvers for Helmholtz Problems	Domenico Lahaye; Jok Tang; Kees Vuik	1st ed. 2017	Springer International Publishing
Internet for Writers Pb	Nick Daws	April 1, 1999	Internet Handbooks Ltd
Temperature gradient weakening in snow	R.A. Sommerfeld	1985
Wonder Boys Waterstones on Pb	Michael Chabon		Harpercollins
Fast Solvers for Mesh-Based Computations	Maciej Paszynski	2015	Routledge
Krylov Solvers for Linear Algebraic Systems	Charles George Broyden; Maria Teresa Vespucci	2004	Elsevier
Fast direct solvers for elliptic PDEs /	Martinsson, Per-Gunnar,		SIAM
Linear system solvers for parallel computers	Ahmed Sameh	1975	Dept. of Computer Science, University of Illinois at Urbana-Champaign
Elliptic Problem Solvers	Garrett Birkhoff; Arthur Schoenstadt	1984	Academic Press
Elliptic Problem Solvers	Martin H. Schultz	1981	Academic Press
Building problem solvers	Kenneth D. Forbus	1993	MIT Press
The problem solvers	Nathan Aaseng	1989	Lerner Publications
The problem solvers	Adrian A. Paradis	1964	Putnam
Practical Parenting Problem Solvers: Breastfeeding (Practical Parenting Problem Solvers)	Felicity Tucker	March 1, 1999	Macmillan UK
Practical Parenting Problem Solvers: Crying (Practical Parenting Problem Solvers)	Eileen Hayes	March 1, 1999	Macmillan UK
Acts Pb	P J Le Peau		Scripture Union Publishing
ENCOUNTERS- PB	Barbara Erskine	Jan 12, 2017	Harper Collins Paperbacks
DILLINGER PB	Jack Higgins	Aug 01, 2013	Harper
Deterministic Solvers for the Boltzmann Transport Equation	Sung-Min Hong; Anh-Tuan Pham; Christoph Jungemann	2011	Springer Vienna
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
On Weakening Strategies for PB Solvers	Daniel Le Berre; Pierre Marquis; Romain Wallon	Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings	Luca Pulina; Martina Seidl	1st ed. 2020	Springer International Publishing
On Dedicated CDCL Strategies for PB Solvers	Daniel Le Berre; Romain Wallon	Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings	Chu-Min Li; Felip Manyà	1st ed. 2021	Springer International Publishing
Parallelization Strategies for ODE Solvers on Multicore Cluster Systems		Parallel Computing: From Multicores and GPU's to Petascale	B. Chapman, F. Desprez, G.R. Joubert, A. Lichnewsky, F. Peters, T. Priol	2010	Elsevier, Academic Press
Parallel Agglomeration Strategies for Industrial Unstructured Solvers	D.R. Emerson; Y.F. Hu; M. Ashworth	Parallel Computational Fluid Dynamics 1999	D. Keyes; J. Periaux; A. Ecer; N. Satofuka and P. Fox	2000	North-Holland
Comparison of partitioning strategies for PDE solvers on multiblock grids	Jarmo Rantakokko	Applied Parallel Computing. Large Scale Scientific and Industrial Problems: 4th International Workshop, PARA' 98, Umea, Sweden, June 14-17, 1998, Proceedings	Bo Kagström; Jack Dongarra; Erik Elmroth; Jerzy Wasniewski	1998	Springer Berlin Heidelberg
An Investigation of Sharing Strategies for Answer Set Solvers and SAT Solvers	Hung Viet Le; Enrico Pontelli	Euro-Par 2005 Parallel Processing: 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings	José C. Cunha; Pedro D. Medeiros	2005	Springer Berlin Heidelberg
Adaptive Restart Strategies for Conflict Driven SAT Solvers	Armin Biere	Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings	Hans Kleine Büning; Xishun Zhao	2008	Springer Berlin Heidelberg
weakening	Hadumod Bussmann; Kerstin Kazzazi; Gregory Trauth	Routledge Dictionary of Language and Linguistics	Hadumod Bussmann; Kerstin Kazzazi; Gregory Trauth	1996	Routledge
Multigrid Solvers and Multilevel Optimization Strategies	Achi Brandt; Dorit Ron	Multilevel Optimization in VLSICAD	Jingsheng Jason Cong; Joseph R. Shinnerl	2003	Springer US
Dynamic Load Balancing Strategies for Hierarchical p-FEM Solvers	Ralf-Peter Mundani; Alexander Düster; Jovana Knežević; Andreas Niggl; Ernst Rank	Recent Advances in Parallel Virtual Machine and Message Passing Interface: 16th European PVM/MPI Users' Group Meeting, Espoo, Finland, September 7-10, 2009, Proceedings	Matti Ropo; Jan Westerholm; Jack Dongarra	2009	Springer Berlin Heidelberg
Ch. 5. Distributed parallel strategies for industrial CFD solvers	G. Manzini and L. Stolcis	Algorithms and applications in parallel computing /	Power, H.	[1999], ©1999.	WTTPress/Computational Mechanics Publications,
Appendix: Information on Solvers		Practical Management Science, Revised	Wayne L. Winston, S. Christian Albright	2008	South-Western College Pub
Fast Iterative Solvers for PDEs on Spheres	Simon Hubbert; Quôc Thông Lê Gia; Tanya M. Morton	Spherical Radial Basis Functions, Theory and Applications	Simon Hubbert; Quôc Thông Le Gia; Tanya M. Morton	2015	Springer International Publishing
Multilevel Solvers for Elliptic Problems on Domains	Peter Oswald	Multiscale Wavelet Methods for Partial Differential Equations	Wolfgang Dahmen; Andrew J. Kurdila; Peter Oswald	1997	Academic Press
Fast solvers for elliptic problems on lattices.		Fast direct solvers for elliptic PDEs /	Martinsson, Per-Gunnar,		SIAM
Solvers	Luc Jaulin; Michel Kieffer; Olivier Didrit; Éric Walter	Applied Interval Analysis: With Examples in Parameter and State Estimation, Robust Control and Robotics	Luc Jaulin; Michel Kieffer; Olivier Didrit; Eric Walter	2001	Springer London
Solvers	Frank Rieg; Reinhard Hackenschmidt; Bettina Alber-Laukant	Finite Element Analyses for Engineers	Frank Rieg and Reinhard Hackenschmidt	2014	Hanser
Solvers		Hands-On Machine Learning with scikit-learn and Scientific Python Toolkits: A practical guide to implementing supervised and unsupervised machine learning algorithms in Python	Tarek Amr	2020	Packt Publishing Ltd
Solvers		Simulink - Dynamic System Simulation for Matlab	The Math Works	1997	O'Reilly Media
Pb-Pb Isochrons		Encyclopedia of geochemistry: a comprehensive reference source on the chemistry of the earth	William M. White, William H. Casey, Bernard Marty, Hisayoshi Yurimoto (eds.)	2020	Springer
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries