Català
Español
English
Log In
Email address
Password
Log in
or
Have you forgotten your password?
Communities & Collections
Statistics
Search
Català
Español
English
Log In
Email address
Password
Log in
or
Have you forgotten your password?
Home
Recerca
Enginyeria Informàtica i Disseny Digital
Articles publicats (Enginyeria Informàtica i Disseny Digital)
A Max-SAT Solver with Lazy Data Structures
A Max-SAT Solver with Lazy Data Structures
Loading...
Date
2004
Authors
Alsinet, Teresa
Manyà Serres, Felip
Planes Cid, Jordi
Other authors
Impact
Google Scholar
Export
Share
Journal Title
Journal ISSN
Volume Title
Related resource
Citation
URI
http://hdl.handle.net/10459.1/57428
DOI
https://doi.org/10.1007/978-3-540-30498-2_34
Journal or Serie
Lecture Notes in Computer Science, 2004, vol. 3315, p. 334-342
Collections
Articles publicats (Enginyeria Informàtica i Disseny Digital)
Grup de Recerca en Energia i Intel·ligència Artificial (GREiA) (INSPIRES)
Publicacions de projectes de recerca del Plan Nacional
Full item page