Search alternatives:
awash » wash, akash, arash
slash » flash, clash, slas
sat » salt, satz
sleeth » sleech, sleath
sheath » heath
sweat » sweet, swept
-plate » -plates, -place
Cover Image
Read Now

41
by Dibdin, Charles
Published 1793
s.n
Cover Image
Read Now

42
by Dibdin, Charles
Published 1793
s.n
Cover Image
Read Now

43
by Dibdin, Charles
Published 1794
Printed by J. Wright, No. 20, Denmark-Court, near Exeter' Change, Strand
Cover Image
Read Now

44
by Dibdin, Charles
Published 1793
Printed by J. Wright, No. 4, Burleigh-Street, Strand
Cover Image
Read Now

45
by Rigshaw, Cincinnatus
Published 1800
Printed for the author. And sold by C. Chapple, Pall Mall. By J. Bonsor, Salisbury Square
Cover Image
Read Now

46
Published 1987
The Institute of Electrical and Electronics Engineers, Inc.
Cover Image
Read Now

47
by Butt, Arthur M.
Published 2022
Henry Stewart Talks
Table of Contents: “...Contents: Oligodendrocytes -- White matter -- Myelin -- The myelin sheath -- Demyelination -- Axons...”
Cover Image
Read Now

49
Published 2021
Springer International Publishing
“... and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021. The 37...”
Cover Image
Read Now

50
Published 2020
Springer International Publishing
Table of Contents: “... Evolutionary Optimisation in Designing Approximate Circuits -- SAT Solving with Fragmented Hamiltonian Path...”
Cover Image
Read Now

51
Published 2012
Springer Berlin Heidelberg
“... and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full...”
Cover Image
Read Now

52
Published 2018
Springer International Publishing
“... and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July 2018. The 20 revised full papers...”
Cover Image
Read Now

53
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...SAT: Past and Future -- Encodings of Problems in Effectively Propositional Logic -- Efficient...”
Cover Image
Read Now

54
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Modelling Max-CSP as Partial Max-SAT -- A Preprocessor for Max-SAT Solvers -- A Generalized...”
Cover Image
Read Now

55
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Building a Hybrid SAT Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques...”
Cover Image
Read Now

56
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... SetDetection -- Tool Papers -- LearnSAT: A SAT Solver for Education -- MUStICCa: MUS Extraction...”
Cover Image
Read Now

57
Published 2016
Springer International Publishing
Table of Contents: “... -- The Normalized Autocorrelation Length of Max r-Sat Converges in Probability to (1-1/2=r)/r -- Tight Upper Bound...”
Cover Image
Read Now

58
Published 2015
Springer International Publishing
“... and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular...”
Cover Image
Read Now

59
Published 2017
Springer International Publishing
“... and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017...”
Cover Image
Read Now

60
Published 2019
Springer International Publishing
Table of Contents: “... Complexity of QBF Symmetry Recomputation -- Satisfiability Threshold for Power Law Random 2-SAT...”