Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Incremental algorithms for local search from existential second-order logic
RISE - Research Institutes of Sweden, ICT, SICS.
2005 (English)In: Proceedings of CP'05, Springer-Verlag , 2005, 2, Vol. 3709, p. 47-61Conference paper, Published paper (Refereed)
Abstract [en]

Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consuming and error-prone implementation tasks. We introduce a scheme that, from a high-level description of a constraint in existential second-order logic with counting, automatically synthesises incremental penalty calculation algorithms. The performance of the scheme is demonstrated by solving real-life instances of a financial portfolio design problem that seem unsolvable in reasonable time by complete search.

Place, publisher, year, edition, pages
Springer-Verlag , 2005, 2. Vol. 3709, p. 47-61
Series
LNCS ; 3709
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:ri:diva-23566DOI: 10.1007/11564751_7OAI: oai:DiVA.org:ri-23566DiVA, id: diva2:1042642
Conference
CP'05, 1-5 Oct 2005, Sitges (Barcelona), Spain.
Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2018-01-14Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full texthttp
By organisation
SICS
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 1 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.35.4