@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:prefLabel "constraint programming"@en, "programmation par contraintes"@fr ;
  a skos:Concept ;
  skos:related <http://data.loterre.fr/ark:/67375/23L-HP7170CW-N> .

<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-HP7170CW-N> .

<http://data.loterre.fr/ark:/67375/23L-SGRC225C-B>
  skos:prefLabel "algorithme de satisfaction de contraintes"@fr, "constraint satisfaction algorithm"@en ;
  a skos:Concept ;
  skos:narrower <http://data.loterre.fr/ark:/67375/23L-HP7170CW-N> .

<http://data.loterre.fr/ark:/67375/23L-HP7170CW-N>
  skos:definition "algorithme dédié à la résolution efficace des instances (cas) du problème SAT. La complexité théorique du problème SAT fait que l’on sait que pour un certain nombre d’instances on ne pourra pas trouver de solution en un temps raisonnable. Le but des solveurs SAT est de trouver une solution pour un maximum d’instances. Ce qui est généralement suffisant en pratique sur les problèmes réels. (Source :  <a href=\"https://ia.gdria.fr/Glossaire/solveur-sat/\">https://ia.gdria.fr/Glossaire/solveur-sat/</a> )"@fr, "algorithm for efficiently solving instances (cases) of the SAT problem. The theoretical complexity of the SAT problem means that we know that for a certain number of instances we won't be able to find a solution in a reasonable time. The aim of SAT solvers is to find a solution for as many instances as possible. In practice, this is generally sufficient for real problems. (Source:  <a href=\"https://ia.gdria.fr/Glossaire/solveur-sat/\">https://ia.gdria.fr/Glossaire/solveur-sat/</a> )"@en ;
  skos:inScheme <http://data.loterre.fr/ark:/67375/23L> ;
  skos:related <http://data.loterre.fr/ark:/67375/23L-Z7N8532R-J>, <http://data.loterre.fr/ark:/67375/23L-RM5PWC50-6> ;
  skos:prefLabel "SAT solver"@en, "solveur SAT"@fr ;
  a skos:Concept ;
  skos:exactMatch <https://en.wikipedia.org/wiki/SAT_solver>, <https://www.wikidata.org/wiki/Q21055608> ;
  dc:modified "2025-09-08T13:12:27"^^xsd:dateTime ;
  skos:broader <http://data.loterre.fr/ark:/67375/23L-SGRC225C-B> .