Modeling and solving semiring constraint satisfaction problems by transformation to weighted semiring Max-SAT
Loading...
Date
Authors
Leenen, Louise
Anbulagan, Anbu
Meyer, Thomas
Ghose, Aditya Kumar
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Description
Keywords
Citation
Collections
Source
AI 2007: 20th Australian Joint Conference on Artificial Intelligence Proceedings
Type
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31
Downloads
File
Description