Français
English
Recherche
Browse Collections
Aide
Français
English
identification
identification
Accueil
> >
Fast generation of lexicographic satisfiable assignments: enabling canonicity in SAT-based applications
> Accès aux Fichiers
Informations
Statistiques d'utilisation
Fichiers
Fast generation of lexicographic satisfiable assig[...]
-
Petkovska, Ana
et al
main
fichier(s):
2016_iccad_2
version 1
2016_iccad_2.pdf
[1.01 MB]
27 Jan 2018, 12:46
n/a
n/a