7 search results - page 2 / 2 » A recursive paradigm to solve Boolean relations |
FUIN
2010
13 years 3 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...
VMCAI
2009
Springer
13 years 11 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...