Vir’s Impenetrability: An Analysis of Petr. Sat. 9

Mare Nostrum (São Paulo)
doi 10.11606/issn.2177-4218.v6i6p49-60
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Universidade de Sao Paulo Sistema Integrado de Bibliotecas - SIBiUSP

Related search

The Metaphysics of Impenetrability: Euler's Conception of Force

British Journal for the History of Science
Philosophy of ScienceHistory
1982English

MiniMaxSAT: An Efficient Weighted Max-Sat Solver

Journal of Artificial Intelligence Research
Artificial Intelligence
2008English

From Parallel SAT to Distributed SAT

English

Novel Analysis of Transition Probabilities in Randomized K-Sat Algorithm

International Journal in Foundations of Computer Science & Technology
2014English

Analysis of L-Structure of Polyhedron in the Partial Max Sat Problem

Prikladnaya Diskretnaya Matematika
Signal ProcessingCombinatoricsApplied MathematicsMathematicsDiscrete MathematicsComputational TheoryTheoretical Computer Science
2017English

Fault Tolerance Analysis of Distributed Reconfigurable Systems Using SAT-Based Techniques

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Full Matching in an Observational Study of Coaching for the SAT

Journal of the American Statistical Association
UncertaintyStatisticsProbability
2004English

Set-Based SAT-solving

Facta universitatis - series: Electronics and Energetics
2007English

An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy