<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2007-06-21 14:35:38107th United States Congress Education policy No Child Left Behind Act California Standardized Testing and Reporting (STAR) Program Adequate Yearly Progress Academic Performance Index Achievement gap in the United States SAT Standards of Learning Education Standards-based education Education reform |
| 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 |