Publications

2 results at SAC 2013

The CAS project: A general infrastructure for pervasive Capture and Access systems
- - Rafael Brandão
  - Paulo França
  - et al.
- 2013
- SAC 2013
Using cross-entropy for satisfiability
- - Hana Chockler
  - Alexander Ivrii
  - et al.
- 2013
- SAC 2013