Ortografia catalana i lingüística computacional
Tió i Casacuberta, J.
Manyà Serres, Felip
MetadataShow full item record
The following license files are associated with this item:
Except where otherwise noted, this item's license is described as cc-by (c) Universitat de Lleida, 1993
Showing items related by title, author, creator and subject.
Tió i Casacuberta, J.; Manyà Serres, Felip (Sintagma: revista de lingüística, 1993-01-11)
Argelich Romà, Josep; Cabiscol i Teixidó, Alba; Lynce, Inês; Manyà Serres, Felip (Springer Verlag, 2008)We define a number of original encodings that map MaxCSP instances into partial Max-SAT instances. Our encodings rely on the well-known direct and support encodings from CSP into SAT. Then, we report on an experimental ...
Argelich Romà, Josep; Li, Chu-Min; Manyà Serres, Felip; Planes Cid, Jordi (IOS Press, 2008)We describe the organization and report on the results of the First and Second Max-SAT Evaluations, which were organized as affiliated events of the 2006 and 2007 editions of the International Conference on Theory and ...