English
Français
Search
Browse Collections
Help
English
Français
login
login
Home
> >
Fast generation of lexicographic satisfiable assignments: enabling canonicity in SAT-based applications
> Access to Fulltext
Information
Usage statistics
Files
Fast generation of lexicographic satisfiable assig[...]
-
Petkovska, Ana
et al
main
file(s):
2016_iccad_2
version 1
2016_iccad_2.pdf
[1.01 MB]
27 Jan 2018, 12:46
n/a
n/a