Resource: Slovak Economic Library - Catalogue of documents of Slovak Economics Libary
Number of the records: 1
Algorithms for the maximum satisfiability problem.
- HANSEN, P. - JAUMARD, B. Algorithms for the maximum satisfiability problem. In Computing, 1990, roč. 44, č. 4, s. 279-303.
Resource: Slovak Economic Library - Catalogue of documents of Slovak Economics Libary
Number of the records: 1