Applying Algorithms for Constraint Satisfaction to Maximum Satisfiability
Research Area: | Uncategorized | Year: | 1994 |
---|---|---|---|
Type of Publication: | In Proceedings | ||
Authors: |
|
||
Editor: | Thomas Schiex and Christian Bessière | ||
Book title: | Proceedings ECAI'94 Workshop on Constraint Satisfaction Issues raised by Practical Applications | ||
Address: | Amsterdam | ||
Month: | August | ||
BibTex: |
|||
[Bibtex] [RIS] [MODS] |