Résultat(s)
1 - 1
résultats de
1
pour la requête '
"Relaxation of Overconstrained Problems"
'
Aller au contenu
VuFind
Panier
(Plein)
Aide
de
fr
Tous les champs
Titre
Auteur
Sujet
Cote
ISBN/ISSN
Tag
Rechercher
Recherche avancée
Bestand:
DHI Paris
Montrer les filtres (1)
Bestand:
DHI Paris
Résultats de la recherche - "Relaxation of Overconstrained Problems"
Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Algorithm
1
Computation of Justifications
1
Conflict Computation
1
Constraint Satisfaction Problem (CSP)
1
Correctness Proof
1
Find Irreducible Subset with Monotone Property
1
Journal Article
1
plus ...
Minimal Correction Subset
1
Minimal Set Subject to a Monotone Predicate (MSMP)
1
Minimal Unsatisfiable Subset
1
Model-Based Diagnosis
1
Ontology Debugging and Repair
1
Proof to Explain
1
QuickXplain
1
Relaxation of Overconstrained Problems
1
moins ...
Résultat(s)
1 - 1
résultats de
1
pour la requête '
"Relaxation of Overconstrained Problems"
'
, Temps de recherche: 4,92s
Affiner les résultats
Trier
Pertinence
Date (décroissante)
Date (croissante)
Auteur
Titre
1
A formal proof and simple explanation of the QuickXplain algorithm
par
Rodler, Patrick
Publié dans:
Artificial intelligence review
(2022)
Sujets:
“
...misc
Relaxation
of
Overconstrained
Problems
...
”
Article en ligne
Ajouter au panier
Retirer du panier
Outils de recherche:
S'abonner aux flux RSS
—
Envoyer cette recherche par courriel
Restreindre la recherche
Bestand
Chargement en cours...
Chargement interrompu
Format
Chargement en cours...
Chargement interrompu
Auteur
Chargement en cours...
Chargement interrompu
Année de publication
Chargement en cours...
Chargement interrompu
Langue
Chargement en cours...
Chargement interrompu
Genre
Chargement en cours...
Chargement interrompu
Classification de base
Chargement en cours...
Chargement interrompu
Chargement en cours...