Recent Posts

• Solving Battleships with SAT
  by keenerdon 2/24/2018, 4:31:29 AM with 0 comments
• The HP-35 Design: A Case Study in Innovation (2011) [pdf]
  by keenerdon 11/26/2017, 4:25:38 PM with 6 comments