Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionals function » function function, functions functional, function dysfunction
modulo functionals » models functionals, model functional, models functional
computing modulo » computing modular, computing models, computing model
function https » functions https, fiction https
functionals function » function function, functions functional, function dysfunction
modulo functionals » models functionals, model functional, models functional
computing modulo » computing modular, computing models, computing model
function https » functions https, fiction https
1
Published 2012
Table of Contents:
“... Problem -- A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... Modulo Theories Framework -- Using Minimal Correction Sets to More Efficiently Compute Minimal...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- Regular Languages, Unambiguous Concatenation and Computational Complexity -- Contributed Papers...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“...-algebraic Proofs -- Turing’s Computable Real Numbers and Why They Are Still Important Today...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Cycles for Security Protocols -- Automating Verification of Loops by Parallelization -- On Computing...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“...Invited Talks -- SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond...”View full text
Electronic
eBook