decoration

Poids de l’Open access dans la production CNRS

Titre
On Preprocessing Techniques and Their Impact on Propositional Model Counting
BSO - Titre
On Preprocessing Techniques and Their Impact on Propositional Model Counting
Identifiant WoS
WOS:000395620600001
Accès ouvert
OA - Non
Source - Accès ouvert
OA - Non
Type d'accès
Non OA
Editeur

Springer

Source

JOURNAL OF AUTOMATED REASONING

ISSN
0168-7433
Type de document
  • Article
Notoriété
2 - Acceptable
CNRS
Oui
CNRS - Institut
  • INS2I - Institut des sciences de l'information et de leurs interactions
uid:/S398TDBS
Powered by Lodex 9.6.0
decoration