The CAS project: A general infrastructure for pervasive Capture and Access systems
- Rafael Brandão
- Paulo França
- et al.
- 2013
- SAC 2013
Publications
Date
Featured collections
Popular topics
2 results at SAC 2013
Using cross-entropy for satisfiability
- Hana Chockler
- Alexander Ivrii
- et al.
- 2013
- SAC 2013