RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

On generating all solutions of generalized satisfiability problems

N. Creignou and J.-J. Hebrard

RAIRO-Theor. Inf. Appl., 31 6 (1997) 499-511

Published online: 01 February 2017

DOI: 10.1051/ita/1997310604991

N. Creignou

J.-J. Hebrard

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)