10.8.2006 SAT-based methods for proving properties in Reynolds/O'Hearn Separation Logic Daniel Kröning (currently visiting CBL) Joint work with B. Cook.
SAT Problem of the Day
SAT Problem of the Day. 5.4 Completing the Square 5.4 Completing the Square Objectives: Use completing the square to solve a quadratic equation.
Ionization of the Hydrogen Molecular Ion by Ultrashort Intense Elliptically Polarized Laser Radiation Ryan DuToit Xiaoxu Guan (Mentor) Klaus Bartschat.