<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-02-14 15:15:55Geography of Texas Texas Education in the United States University of Texas at Austin University of Texas at Dallas University of Texas at Arlington Austin Texas SAT Texas Business Honors Program Oak Ridge Associated Universities Association of Public and Land-Grant Universities American Association of State Colleges and Universities |
Add to Reading List |
Microsoft Word - CAPreport-CAP10 | Optimizing S-box Implementations for Several Criteria using SAT Solvers Ko Stoffelen GoalDocID: 1xVCk - View Document |
| Bounded Model Generation for Isabelle/HOL Using a SAT Solver Tjark WeberDocID: 1xVzf - View Document |
| Optimizing S-box Implementations for Several Criteria using SAT Solvers Ko Stoffelen Radboud University, Digital Security, Nijmegen, The NetherlandsDocID: 1xVyX - View Document |
| Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark WeberDocID: 1xVu1 - View Document |
| Integrating a SAT Solver with Isabelle/HOL Tjark Weber (joint work with Alwen Tiu et al.) First Munich-Nancy Workshop onDocID: 1xUVp - View Document |