BEGIN:VCALENDAR PRODID;X-RICAL-TZSOURCE=TZINFO:-//Calagator//EN CALSCALE:GREGORIAN X-WR-CALNAME:Calagator METHOD:PUBLISH VERSION:2.0 BEGIN:VTIMEZONE TZID;X-RICAL-TZSOURCE=TZINFO:America/Los_Angeles BEGIN:DAYLIGHT DTSTART:20100314T020000 RDATE:20100314T020000 TZOFFSETFROM:-0800 TZOFFSETTO:-0700 TZNAME:PDT END:DAYLIGHT END:VTIMEZONE BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20100819T222506Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20100824T113000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20100824T103000 DTSTAMP;VALUE=DATE-TIME:20100819T222506Z LAST-MODIFIED;VALUE=DATE-TIME:20100819T232502Z UID:http://calagator.org/events/1250459142 DESCRIPTION:abcBridge: Functional interfaces for AIGs and SAT solving \;\n \;\nEdward Z. Yang \;\n \;\nSAT solvers are perhaps the mo st under-utilized high-tech tools that the modern software engineer has at their fingertips. An industrial strength SAT solver can solve most hu man generated NP-complete problems in time for lunch\, and there are man y\, many practical problem domains which involve NP-complete problems. H owever\, a major roadblock to using a SAT solver in your every day routi ne is translating your problem into SAT\, and then running it on a highl y optimized SAT solver\, which is probably implemented in C or C++ and n ot your usual favorite programming language. \;\n \;\nThis talk is about the use\, design and implementation of abcBridge\, a set of Haske ll bindings for ABC\, a system for sequential synthesis and verification produced by the Berkeley Logic Synthesis and Verification Group. ABC lo oks at SAT solving from the following perspective: given two circuits of logic gates (ANDs and NOTs)\, are they equivalent? ABC is imperative C code: abcBridge provides a pure and type-safe interface for building and manipulating and-inverter graphs. We hope to release abcBridge soon as open source.\n\nTags: galois\, tech talk\, functional programming\, open source\n\nImported from: http://calagator.org/events/1250459142 URL:http://www.galois.com/blog/2010/08/19/tech-talk-abcbridge-functional- interfaces-for-aigs-and-sat-solving/ SUMMARY:Galois Tech talk: abcBridge: Functional interfaces for AIGs and S AT solving LOCATION:Galois\, Inc: 421 SW 6th Ave. Suite 300\, Portland OR 97204 US SEQUENCE:2 END:VEVENT END:VCALENDAR