SAT versus UNSAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Olivier Dubois 0002, Pascal André, Yacine Boufkhad, Jacques Carlier. SAT versus UNSAT. In David S. Johnson, Michael A. Trick, editors, Cliques, Coloring, and Satisfiability, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, October 11-13, 1993. Volume 26 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 415-436, DIMACS/AMS, 1993.

This author has not been identified. Look up 'Olivier Dubois 0002' in GoogleThis author has not been identified. Look up 'Pascal André' in GoogleThis author has not been identified. Look up 'Yacine Boufkhad' in GoogleThis author has not been identified. Look up 'Jacques Carlier' in Google

runs on WebDSL