Enhancing the Performance of the Model Elimination Proof Procedure

Research Grant

Duke Scholars

Co-Principal Investigator Owen L. Astrachan Computer Science

Awarded By

National Science Foundation

Start Date

July 15, 1996

End Date

June 30, 1998

Awarded By

National Science Foundation

Start Date

July 15, 1996

End Date

June 30, 1998