Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Fabrício Sparvoli Godoy
Vir’s Impenetrability: An Analysis of Petr. Sat. 9
Mare Nostrum (São Paulo)
Related publications
The Metaphysics of Impenetrability: Euler's Conception of Force
British Journal for the History of Science
Philosophy of Science
History
MiniMaxSAT: An Efficient Weighted Max-Sat Solver
Journal of Artificial Intelligence Research
Artificial Intelligence
From Parallel SAT to Distributed SAT
Novel Analysis of Transition Probabilities in Randomized K-Sat Algorithm
International Journal in Foundations of Computer Science & Technology
Analysis of L-Structure of Polyhedron in the Partial Max Sat Problem
Prikladnaya Diskretnaya Matematika
Signal Processing
Combinatorics
Applied Mathematics
Mathematics
Discrete Mathematics
Computational Theory
Theoretical Computer Science
Fault Tolerance Analysis of Distributed Reconfigurable Systems Using SAT-Based Techniques
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Full Matching in an Observational Study of Coaching for the SAT
Journal of the American Statistical Association
Uncertainty
Statistics
Probability
Set-Based SAT-solving
Facta universitatis - series: Electronics and Energetics
An Improved Deterministic #SAT Algorithm for Small De Morgan Formulas
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
