Rekommenderade teman
Rekommenderade teman
Menade du:
parallel preprocessing » parallel postprocessing, parallel processing, parallel proceesing
preprocessing sat » preprocessing data, preprocessing part, preprocessing step
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
sat function » set function, spt function, gut function
parallel preprocessing » parallel postprocessing, parallel processing, parallel proceesing
preprocessing sat » preprocessing data, preprocessing part, preprocessing step
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
sat function » set function, spt function, gut function
1
Publicerad 2013
Innehållsförteckning:
“... with Data -- Proving Infinite Satisfiability -- SAT-Based Preprocessing for MaxSAT -- Dynamic and Static...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2014
Innehållsförteckning:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2007
Innehållsförteckning:
“... with Preprocessing -- Games, Time, and Probability: Graph Models for System Design and Analysis -- Agreement...”Hämta fulltext
Elektronisk
E-bok