This page was last updated Oct 28, 2009.
Site Map. This page is available on the web at http://pok.acm.org.Poughkeepsie Chapter of the Association For Computing Machinery aaa ccccccc mmmmm mmmmm a a cc cc mm mm mm mm aa aa cc c mm mm mm mm aaaaaaaaa cc mm mmm mm aa aa cc c mm m mm MEETING NOTICE aa aa cc cc mm mm aa aa cccccccc mm mm Program: Satisfiability: Applications and Algorithms Speaker: Jim Kukula, jim.kukula@gmail.com Research Methodology Consultant About the Topic: Boolean algebra is surely one of the simplest mathematical systems possible, yet it is the foundation of the modern computing revolution. Deciding the satisfiability of a Boolean formula is the central computational challenge of Boolean algebra, and the paradigm NP-Complete problem. Many practical engineering problems can be cast as satisfiability problems. There are still remarkably small problem instances that stump even the best algorithms, but continuing advances have enabled solution of many practical large instances. Satisfiability decision procedures have been incorporated into standard engineering practice. This talk will survey some key applications and algorithms. About the Speaker After studying physics in college, Jim went on to a career in Computer Aided Design (CAD). At IBM from 1982 to 1992 he worked on Boolean equivalence checking, parallel processing, and CAD database design. His work at Synopsys, from 1996 to 2007, centered on model checking algorithms. He won a Best Paper Award at the Design Automation Conference and served as an Associate Editor for IEEE Transactions on CAD. When: 7:30 pm, Monday, Nov 16, 2009 Where: Ulrich Room, Dyson Hall Marist College, Route 9, Poughkeepsie, NY (Dyson Hall is Building 7 on the Marist campus map at www.marist.edu/about/map.html.) Parking: Parking on campus can be difficult. Try the lot on the east side of Route 9, across the street from Building 25 on the Marist campus map. Cost: Free and open to the public Dinner: 6 pm, Palace Diner, 194 Washington Street, POK, 845.473.1576 Directions: www.thepalacediner.com/ Menu: www.thepalacediner.com/menu_pg.htm All are welcome to join us for dinner. (Go north on the Route 9 Arterial to the St. Francis Hospital exit, turn right, turn right again. The Palace is one block further along on the right.) We thank Marist College for hosting the chapter's meetings. Refreshments are served after the meeting. For further information, email collier@acm.org or call 845.522.1971.