@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://data.loterre.fr/ark:/67375/23L> a skos:ConceptScheme .
<http://data.loterre.fr/ark:/67375/23L-Z7N8532R-J>
  skos:exactMatch <https://fr.wikipedia.org/wiki/Programmation_par_contraintes>, <https://en.wikipedia.org/wiki/Constraint_programming>, <https://www.wikidata.org/wiki/Q528588> ;
  skos:prefLabel "constraint programming"@en, "programmation par contraintes"@fr ;
  skos:broader <http://data.loterre.fr/ark:/67375/23L-X5WQJJL2-H> ;
  skos:related <http://data.loterre.fr/ark:/67375/23L-HP7170CW-N>, <http://data.loterre.fr/ark:/67375/23L-RM5PWC50-6> ;
  skos:definition "domaine de l’intelligence artificielle qui s’intéresse à la résolution de problèmes combinatoires. L’utilisateur modélise sa problématique dans un langage simple en identifiant les inconnues et les contraintes qu’il souhaite imposer. Un algorithme (appelé solveur), basé sur des principes de résolution génériques, lui fournit alors une solution. Dans un tel système, l’utilisateur n’a pas à connaître les techniques algorithmiques ou mathématiques qui permettent de résoudre son problème (par exemple, calculer les solutions d’un ensemble d’équations mathématiques). (Source :  <a href=\"https://ia.gdria.fr/Glossaire/programmation-par-contraintes/\">https://ia.gdria.fr/Glossaire/programmation-par-contraintes/</a> )"@fr, "a field of artificial intelligence concerned with solving combinatorial problems. The user models his problem in a simple language, identifying the unknowns and constraints he wishes to impose. An algorithm (called a solver), based on generic solving principles, then provides a solution. In such a system, the user doesn't need to know the algorithmic or mathematical techniques involved in solving the problem (e.g., calculating the solutions to a set of mathematical equations). (Source: translated from  <a href=\"https://ia.gdria.fr/Glossaire/programmation-par-contraintes/\">https://ia.gdria.fr/Glossaire/programmation-par-contraintes/</a> )"@en ;
  skos:inScheme <http://data.loterre.fr/ark:/67375/23L> ;
  dc:modified "2025-09-08T13:08:56"^^xsd:dateTime ;
  a skos:Concept .

<http://data.loterre.fr/ark:/67375/23L-RM5PWC50-6>
  skos:prefLabel "problème de satisfaisabilité booléenne"@fr, "Boolean satisfiability problem"@en ;
  a skos:Concept ;
  skos:related <http://data.loterre.fr/ark:/67375/23L-Z7N8532R-J> .

<http://data.loterre.fr/ark:/67375/23L-HP7170CW-N>
  skos:prefLabel "SAT solver"@en, "solveur SAT"@fr ;
  a skos:Concept ;
  skos:related <http://data.loterre.fr/ark:/67375/23L-Z7N8532R-J> .

<http://data.loterre.fr/ark:/67375/23L-X5WQJJL2-H>
  skos:prefLabel "méthode de programmation"@fr, "programming method"@en ;
  a skos:Concept ;
  skos:narrower <http://data.loterre.fr/ark:/67375/23L-Z7N8532R-J> .