Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function function » function functional, functions functional, function dysfunction
binary function » binary functional, urinary function, unary function
function https » functions https, fiction https
parallel sat » parallel a, parallel ant, parallel batch
sat binary » fast binary, a binary, rayet binary
function function » function functional, functions functional, function dysfunction
binary function » binary functional, urinary function, unary function
function https » functions https, fiction https
parallel sat » parallel a, parallel ant, parallel batch
sat binary » fast binary, a binary, rayet binary
1
Published 2015
Table of Contents:
“... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“.../Inhibitor Docking by Non-parametric Binomial Distribution Test -- satDNA Analyzer 1.2 as a Valuable...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Sphere Cut Branch Decompositions -- An Algorithm for the SAT Problem for Formulae of Linear Length...”View full text
Electronic
eBook