' CS 576 (Spring 2015): MPs
CS 576: Topics in Automated Deduction (Spring 2015): MPs
          
main  ::  policy  ::  lectures  ::  mps  ::  project  ::  faq  ::  doc  ::  downloads
Machine Problems for Spring 2026
MP Date Available Date Assigned Due Date Solution
MP 0 (mp0.thy) Friday, 30 January 2026 Friday, 30 January 2026 Thursday, 12 February 2026, 11:59pm
MP 1 (mp1.thy) Friday, 30 January 2026 Thursday, 5 February 2026 Thursday, 12 February 2026, 11:59pm
MP 2 (mp2.thy) ,
MP 3 (mp3.thy)
MP 4 (mp4.thy)