Compressing UNSAT CDCL Trees with Caching
0Citations signalées — pas une note de qualité
3Institutions déclarées
1Pays d’affiliation déclarés
Résumé fourni par la source
International audience
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Contrôle bibliographique ouvert
DOI retrouvé dans Crossref DOI retrouvé ; titre concordant.
- Titre Crossref
- Compressing UNSAT CDCL Trees with Caching
- Date Crossref
- 01/01/2024
- Éditeur
- SCITEPRESS - Science and Technology Publications
- Type
- proceedings-article
Ce recoupement confirme des métadonnées liées au DOI. Il ne confirme ni la méthode ni les conclusions de l’étude et ne compte pas comme une seconde source scientifique indépendante.
Institutions déclarées
Une affiliation ne permet pas de déduire la nationalité d’un auteur.
Sujets associés
Scientific Computing and Data ManagementDistributed and Parallel Computing SystemsAI-based Problem Solving and Planning