141 search results - page 6 / 29 » sat 2010 |
46
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
114
Voted
ITP
2010
15 years 2 months ago
2010
131
Voted
ISAAC
2010
Springer
15 years 1 months ago
2010
Springer
111
Voted
FUIN
2010
15 years 2 months ago
2010
In this paper we present an application of the propositional SATisfiability environment to computing some simple orthogonal matrices and some interesting tasks in the area of cry...