Computing with signals: a generic and modular signal machine for satisfiability problems

Computing with signals: a generic and modular signal machine for satisfiability problems 1 / 45 Computing with signals: a generic and modular signal machine for satisfiability problems Denys Duchier, Jérôme Durand-Lose, Maxime Senot Laboratoire d'Informatique Fondamentale d'Orléans, University of Orléans, Orléans, FRANCE 2 nd international workshop NWC '11 LIFO, Orléans 24 May 2011

• signal machines


• international workshop


• generic signal


• orléans


• laboratoire d'informatique fondamentale d'orléans