MétaCan
Menu
Constructeur de cohorte

4 299 418 travaux, canadiens par l’une de quatre routes.

Chaque état de filtre est une URL; l’URL est la requête; la requête est citable via /q/⟨hash⟩. La page, l’API et l’export analysent les mêmes paramètres.

La cohorte courante, diffusée en continu depuis la base de données : toutes les colonnes des travaux, les étiquettes machine, les scores provisoires et l'état de validation de chaque rangée. Les exportations sont plafonnées à 100 000 rangées. Crée un lien /q/ permanent pour cette requête exacte. Les mêmes filtres produisent toujours le même lien, qui que soit le demandeur.

Terme de recherche
Auteur ou autrice
Période
Ordre
Langue
Type
Domaine
Revue
Sujet
Constraint Satisfaction and Optimization
Rétractation
Résumé
Source des données probantes
Devis d'étude
Accord des étiquettes
État des étiquettes

Les étiquettes directes de Codex et Gemma sont non validées et clairsemées. Les prédictions distillées couvrent la base complète et sont elles aussi non validées. Choisissez explicitement la source; l'absence d'une étiquette directe n'est jamais une étiquette négative.

affaffiliation
fundbailleur
venuerevue
aboutsujet

Les quatre voies se composent : exigez la voie du financement et excluez l'affiliation pour obtenir la strate financée-seulement qu'aucune base fondée sur l'affiliation ne voit jamais.

698 résultats · 1 filtre actif ·
Résultats par année
20002025
Date de publication
Catégories
Étiquettes machine · couverture clairsemée
Preuves
Langue
Type
Citations
Un travail non étiqueté est inconnu, pas un négatif. La couverture est rapportée à chaque requête.
698 travaux dans la cohorte · sur 4 299 418page 1 sur 14

Les étiquettes couvrent 0 des 698 travaux de cette cohorte. Les autres sont non étiquetés, ce qui n'est pas une étiquette négative : la table des étiquettes est clairsemée aujourd'hui et s'enrichit au fil des rondes d'étiquetage.

Les prédictions distillées couvrent 698 des 698 travaux de cette cohorte. Ces prédictions portent le statut machine_predicted_unvalidated. Le mode candidate est l'union; le consensus est l'intersection.

afffundnon étiqueté
ParamILS: An Automatic Algorithm Configuration Framework
Frank Hutter, Holger H. Hoos, Kevin Leyton‐Brown, T. Stuetzle
2009· article· en· Journal of Artificial Intelligence Research· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
868
citations
affnon étiqueté
SATzilla: Portfolio-based Algorithm Selection for SAT
Lizhong Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton‐Brown
2008· article· en· Journal of Artificial Intelligence Research· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
835
citations
affnon étiqueté
Interval arithmetic
Timothy J. Hickey, Qun Ju, M. H. van Emden
2001· article· en· Journal of the ACM· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
339
citations
affnon étiqueté
SATLIB: An Online Resource for Research on SAT
Holger H. Hoos, Thomas Stützle, Ian P. Gent, Hans van Maaren, Toby Walsh
2000· article· en· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
312
citations
affnon étiqueté
A Better Bound on the Variance
Rajendra Bhatia, Chandler Davis
2000· article· en· American Mathematical Monthly· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · insufficient_payload
214
citations
affnon étiqueté
Preference‐Based Constrained Optimization with CP‐Nets
Craig Boutilier, Ronen I. Brafman, Carmel Domshlak, Holger H. Hoos, David Poole
2004· article· en· Computational Intelligence· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
177
citations
affsans résuménon étiqueté
Frozen development in graph coloring
Joseph Culberson, Ian P. Gent
2001· article· en· Theoretical Computer Science· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
117
citations
afffundnon étiqueté
AutoFolio: An Automatically Configured Algorithm Selector
Marius Lindauer, Holger H. Hoos, Frank Hutter, Torsten Schaub
2015· article· en· Journal of Artificial Intelligence Research· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
102
citations
affsans résuménon étiqueté
On global warming: Flow-based soft global constraints
Willem‐Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau
2006· article· en· Journal of Heuristics· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
90
citations
affnon étiqueté
Generalized nogoods in CSPs
George Katsirelos, Fahiem Bacchus
2005· article· en· National Conference on Artificial Intelligence· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
84
citations
affsans résuménon étiqueté
Rigorous results for random (2+p)-SAT
Dimitris Achlioptas, Lefteris M. Kirousis, Evangelos Kranakis, Danny Kriz̧anc
2001· article· en· Theoretical Computer Science· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
83
citations
affnon étiqueté
Learning to solve QBF
Horst Samulowitz, Roland Memisevic
2007· article· en· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
80
citations
affsans résuménon étiqueté
Investigations on autark assignments
Oliver Kullmann
2000· article· en· Discrete Applied Mathematics· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
75
citations
afffundnon étiqueté
Conflict-Directed Backjumping Revisited
Xinguang Chen, Peter van Beek
2001· article· en· Journal of Artificial Intelligence Research· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
74
citations
affnon étiqueté
Representation and Computation in Cognitive Models
Kenneth D. Forbus, Chen Liang, Irina Rabkina
2017· article· en· Topics in Cognitive Science· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
70
citations
affsans résuménon étiqueté
Random Constraint Satisfaction: A More Accurate Picture
Dimitris Achlioptas, Michael Molloy, Lefteris M. Kirousis, Yannis C. Stamatiou, Evangelos Kranakis, Danny Kriz̧anc
2001· article· en· Constraints· Computer Science
prédiction distillée:candidate · metaepi_narrow+insufficient_payloadconsensus · aucune
68
citations
afffundnon étiqueté
Near Sets: An Introduction
James F. Peters
2013· article· en· Mathematics in Computer Science· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
67
citations
affsans résuménon étiqueté
The complexity of constraint satisfaction games and QCSP
Ferdinand Börner, А. А. Булатов, H. Chen, Peter Jeavons, Andrei Krokhin
2009· article· en· Information and Computation· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
62
citations
affsans résuménon étiqueté
The complexity of Unique k-SAT: An Isolation Lemma for k-CNFs
Chris Calabro, Russell Impagliazzo, Valentine Kabanets, Ramamohan Paturi
2007· article· en· Journal of Computer and System Sciences· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
56
citations
affsans résuménon étiqueté
Temporal Granularity: Completing the Puzzle
Iqbal A. Goralwalla, Yuri Leontiev, M. TAMER ÖZSU, Duane Szafron, Carlo Combi
2001· article· en· Journal of Intelligent Information Systems· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
52
citations
affsans résuménon étiqueté
Unrestricted Nogood Recording in CSP Search
George Katsirelos, Fahiem Bacchus
2003· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
47
citations

En coulisses: Sélection · Constats · À propos