Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: (swash OR sat)-place*
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"511 - General principles of mathematics"
Search alternatives
:
swash »
slash
,
swath
,
smash
sat »
salt
,
satz
Showing
1
-
12
of
12
Search:
'(swash OR sat)-place*'
,
query time: 0.08s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Theory and Applications of Satisfiability Testing : 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... Strategies for Quantified Boolean Formulas -- Solving Error Correction for Large Data Sets by Means of a
SAT
...
”
Read Now
2
Parameterized Complexity in the Polynomial Hierarchy : Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy
by
de Haan, Ronald
Published 2019
Springer Berlin Heidelberg
Table of Contents:
“
...Complexity Theory and Non-determinism -- Parameterized Complexity Theory -- Fpt-Reducibility to
SAT
...
”
Read Now
3
Exact Exponential Algorithms
by
Fomin, Fedor V.
,
Kratsch, Dieter
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
... Convolution -- Local Search and
SAT
-- Split and List -- Time Versus Space -- Miscellaneous -- Conclusions...
”
Read Now
4
Handbook of Combinatorial Optimization : Supplement Volume A
Published 1999
Springer US
Table of Contents:
“
... for Combinatorial Optimization Problems -- Frequency Assignment Problems -- Algorithms for the Satisfiability (
SAT
...
”
Read Now
5
Parallel Processing of Discrete Problems
Published 1999
Springer New York
Table of Contents:
“
... computing systems -- Parallel algorithms for satisfiability (
SAT
) testing -- Sequential and parallel branch...
”
Read Now
6
Aspects of Molecular Computing : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... Switching Functions Using Peptide-Antibody Interactions -- Plasmids to Solve #3
SAT
-- Communicating...
”
Read Now
7
Integer Programming and Combinatorial Optimization : 7th International IPCO Conference, Graz, Austria, June 9-11, 1999, Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
...Parity Constrained k-Edge-Connected Orientations -- Approximation Algorithms for MAX 4-
SAT
...
”
Read Now
8
Handbook of Combinatorial Optimization
by
Ding-Zhu Du
,
Pardalos, Panos M.
Published 1998
Springer US
Table of Contents:
“
... for MAX-
SAT
-- Connections between Nonlinear Programming and Discrete Optimization -- Interior Point...
”
Read Now
9
Modern Cryptography, Probabilistic Proofs and Pseudorandomness
by
Goldreich, Oded
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... Polynomials Are Identical -- B.1.4 Randomized Rounding Applied to Max
SAT
-- B.1.5 Primality Testing -- B.1.6...
”
Read Now
10
DNA Computing : 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
... -- Binary Arithmetic for DNA Computers -- Implementation of a Random Walk Method for Solving 3-
SAT
...
”
Read Now
11
Computing and Combinatorics : 7th Annual International Conference, COCOON 2001, Guilin, China, August 20-23, 2001, Proceedings
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... for MAX 3
SAT
-- Steiner Trees -- The Euclidean Bottleneck Steiner Tree and Steiner Tree with Minimum...
”
Read Now
12
Extended Abstracts EuroComb 2021 : European Conference on Combinatorics, Graph Theory and Applications
Published 2021
Birkhäuser
Table of Contents:
“
... -- A Short Proof of Euler–Poincaré Formula -- Approximate MDS Property of Linear Codes -- A
SAT
attack...
”
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 511 - General principles of mathematics
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
Language
English
12
Collection
Springer Book Archives -2004
9
Springer eBooks 2005-
3
Author
Pardalos, Panos M.
3
Burkard, Rainer E.
1
Cornuejols, Gerard
1
Ding-Zhu Du
1
Du, Ding-Zhu
1
Fomin, Fedor V.
1
more ...
Giunchiglia, Enrico
1
Goldreich, Oded
1
Hagiya, Masami
1
Jonoska, Natasha
1
Kratsch, Dieter
1
Nešetřil, Jaroslav
1
Ohuchi, Azuma
1
Perarnau, Guillem
1
Păun, Gheorghe
1
Rozenberg, Grzegorz
1
Rué, Juanjo
1
Serra, Oriol
1
Tacchella, Armando
1
Wang, Jie
1
Woeginger, Gerhard J.
1
de Haan, Ronald
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22511+-+General+principles+of+mathematics%22&lookfor=%28swash+OR+sat%29-place%2A&type=AllFields
Send by Email
×
Loading...