We are pleased to announce the availability of a new Galois tech talk video: “abcBridge: Functional interfaces for AIGs and SAT solving”, presented by Edward Z. Yang . More details about the talk are available on the announcement page.
abcBridge: Functional Interfaces for AIGs & SAT Solving from Galois Video on Vimeo.
For more videos, please visit http://vimeo.com/channels/galois.