Villkorsprogrammering

Från Wikipedia
Hoppa till: navigering, sök

Villkorsprogrammering, på engelska constraint programming, är ett programmeringsparadigm i vilket ett antal variabler med givna domäner skall tilldelas värden i enlighet med ett antal villkor. Området har av Association for Computing Machinery utpekats som strategiskt viktigt.[1]

Vid villkorsprogrammering behöver inte någon sekvens specificeras, det är upp till den underliggande mjukvaran att testa kombinationer till dess en lösning hittats eller till dess det konstaterats att ingen lösning finns.

Referenser[redigera | redigera wikitext]

  1. ^ ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research, Volume 28 Issue 4, Dec. 1996