Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
encoding function » encoding obfuscation, breeding function, building function
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
parallel max » parallel many, parallel mark, parallel mean
max encoding » map encoding, sat encoding, rap encoding
encoding function » encoding obfuscation, breeding function, building function
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
parallel max » parallel many, parallel mark, parallel mean
max encoding » map encoding, sat encoding, rap encoding
1
Published 2013
Table of Contents:
“... for MaxSAT Solving -- Encodings and Applications -- Experiments with Reduction Finding -- A Constraint...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Spaces with Massively Parallel Embedded Processors -- Efficient Automated Clock Gating Using CoDeL...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... and Solving Approaches -- Employing “Particle Swarm Optimization” and “Fuzzy Ranking Functions” for Direct...”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 2014
Table of Contents:
“... and Measurement Based on Morphological Functions in Graphical Vision Assistant Tool -- Efficient Algorithm...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... -- Parallel Discrepancy-Based Search -- Best Application Track Paper -- Bin Packing with Linear Usage Costs...”View full text
Electronic
eBook