Universitat de Lleida
    • English
    • català
    • español
  • English 
    • English
    • català
    • español
  • Login
Repositori Obert UdL
View Item 
  •   DSpace Home
  • Recerca
  • Informàtica i Enginyeria Industrial
  • Articles publicats (Informàtica i Enginyeria Industrial)
  • View Item
  •   DSpace Home
  • Recerca
  • Informàtica i Enginyeria Industrial
  • Articles publicats (Informàtica i Enginyeria Industrial)
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Minimal and Redundant SAT Encodings for the All-Interval-Series Problem

Thumbnail
View/Open
006639.pdf (118.2Kb)
Sol·licita una còpia
Issue date
2002
Author
Alsinet, Teresa
Béjar Torres, Ramón
Cabiscol i Teixidó, Alba
Fernàndez Camon, César
Manyà Serres, Felip
Impact


Web of Science logo    citations in Web of Science

Scopus logo    citations in Scopus

Google Scholar logo  Google Scholar
Share
Export to Mendeley
Metadata
Show full item record
Abstract
The SAT encodings defined so far for the all-interval-series (ais) problem are very hard for local search but rather easy for systematic algorithms. We define different SAT encodings for the ais problem and provide experimental evidence that this problem can be efficiently solved with local search methods if one chooses a suitable SAT encoding.
URI
http://hdl.handle.net/10459.1/57365
DOI
https://doi.org/10.1007/3-540-36079-4_12
Is part of
Lecture Notes in Computer Science, 2002, vol. 2504, p. 139-144
Collections
  • Grup de Recerca en Energia i Intel·ligència Artificial (GREiA) (INSPIRES) [318]
  • Articles publicats (Informàtica i Enginyeria Industrial) [670]

Contact Us | Send Feedback | Legal Notice
© 2019 BiD. Universitat de Lleida
Metadades subjectes a
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

Statistics

View Usage Statistics

D'interès

Política institucional d'accés obertDiposita les teves publicacionsDiposita dades de recercaSuport a la recerca

Contact Us | Send Feedback | Legal Notice
© 2019 BiD. Universitat de Lleida
Metadades subjectes a