121
by More, Hannah
Published 1800
sold by William Watson, and Son no. 7, Capel-Street, printers to the Cheap Repository for Religious and Moral Tracts, and by the booksellers, chapmen and hawkers, in town and country

123
by Valent, Lucio
Published 2020
FrancoAngeli
Subjects: ...European Cultural Clash...

124
Published 2005
Springer Berlin Heidelberg
Table of Contents: ...Derandomization of PPSZ for Unique-k-SAT -- Heuristics for Fast Exact Model Counting -- A Scalable...

128
Published 2011
Springer Berlin Heidelberg
... and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011. The 25 revised full...

129
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...

131
by Martiny, Miriam
Published 2022
Nomos Verlagsgesellschaft mbH & Co. KG
... unter urheber- und kartellrechtlichen Aspekten sowie die Portabilitäts-Verordnung und die Online-Sat...

132
by Alexandre Lapierre
Presses de l'Inalco
Subjects: ...inter-communities clashes...

133
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Problems with Finite-Domain Variables to Problems with Boolean Variables -- A SAT-Based Decision Procedure...

138
by Kudelska, Marta
Published 2021
Peter Lang International Academic Publishing Group
Subjects: ...sat - sufficient reason...

140
Published 1729
In the Savoy: printed by E. and R. Nutt, and R. Gosling (assigns of Edw. Sayer, Esq;) for W. Meadows