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, 47-61 p.Conference 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, 47-61 p.
Series
LNCS, 3709
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-23566DOI: 10.1007/11564751_7OAI: oai:DiVA.org:ri-23566DiVA: diva2:1042642
Conference
CP'05, 1-5 Oct 2005, Sitges (Barcelona), Spain.
Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2017-07-28Bibliographically approved

Open Access in DiVA

No full text

Other links

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

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

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.26.0