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.
@inproceedings{DuboisABC93,
title = {SAT versus UNSAT},
author = {Olivier Dubois 0002 and Pascal André and Yacine Boufkhad and Jacques Carlier},
year = {1993},
researchr = {https://researchr.org/publication/DuboisABC93},
cites = {0},
citedby = {0},
pages = {415-436},
booktitle = {Cliques, Coloring, and Satisfiability, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, October 11-13, 1993},
editor = {David S. Johnson and Michael A. Trick},
volume = {26},
series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
publisher = {DIMACS/AMS},
}