UNIVERSITY of GLASGOW

Computing at Glasgow University
 
Paper ID: 6809

SAT Encodings of the Stable Marriage Problem with Ties and Incomplete Lists
Gent,I.P. Prosser,P.

Publication Type: Conference Proceedings
Appeared in: SAT 2002 The Fifth International Symposium on the Theory and Application of Satisfiability Testing
Page Numbers :
Publisher: Academic Press
Year: 2002
ISBN/ISSN:
Abstract:

No abstract available.


PDF Bibtex entry Endnote XML