The Unique Horn-Satisfiability problem and quadratic Boolean equations
M. MinouxVolume:
6
Year:
1992
Language:
english
Pages:
14
Journal:
Annals of Mathematics and Artificial Intelligence
DOI:
10.1007/bf01531031
File:
PDF, 755 KB
english, 1992