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
Constraint satisfaction by local search
RISE - Research Institutes of Sweden, ICT, SICS.ORCID iD: 0000-0003-1597-6738
2002 (English)Report (Other academic)
Abstract [en]

The constraint satisfaction problem and its derivate, the propositional satisfiability problem (SAT), are fundamental problems in computing theory and mathematical logic. SAT was the first proved NP-complete problem, and although complete algorithms have been dominating the constraint satisfaction field, incomplete approaches based on local search has been successful the last ten years. In this report we give a general framework for constraint satisfaction using local search as well as an different techniques to improve this basic local search framework. We also give an overview of algorithms for problems of constraint satisfaction and optimization using heuristics, and discuss hybrid methods that combine complete methods for constraint satisfaction with local search techniques.

Place, publisher, year, edition, pages
Swedish Institute of Computer Science , 2002, 1. , p. 66
Series
SICS Technical Report, ISSN 1100-3154 ; 2002:07
Keywords [en]
Local Search, Heuristics, Constraints, Satisfiability
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:ri:diva-21983OAI: oai:DiVA.org:ri-21983DiVA, id: diva2:1041525
Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2018-08-13Bibliographically approved

Open Access in DiVA

fulltext(827 kB)8 downloads
File information
File name FULLTEXT01.pdfFile size 827 kBChecksum SHA-512
b46609d97162dfd1a9d0e0ad702f393417275f93b1ac7132cee3c7bbf0f772f3411028070d192df1251a42f3aa1f58d47322e7e4909fe1c58a5109f49106bb99
Type fulltextMimetype application/pdf

Authority records BETA

Bohlin, Markus

Search in DiVA

By author/editor
Bohlin, Markus
By organisation
SICS
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 8 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 18 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.2