hanno accettato articolo a IRCDL. Qui sotto i commenti dei reviewers:
come funziona la registrazione? devo informarmi per rimborsi e altre questioni burocratiche?
<aside> 💡 Aggiungi GraspOS negli acknowledgements (partially funded, vedi articolo JOHD). È fondamentale, anche per giustificare l’utilizzo dei fondi per la missione.
</aside>
commenti:
iniziato a guardare i potenziali sviluppi di oc_validator
0: {
"id": [0]
"author": [0,1]
},
1: {
"title": [0]
}
<tr>
<td>
<span class="field-value id">
<span class="item">
<span class="item-component">
doi:10.4230/lipics.cp.2021.8
</span>
</span>
</span>
</td>
<td>
<span class="field-value title">
<span class="item">
<span class="item-component">
Integrating Tree Decompositions Into Decision Heuristics Of Propositional Model Counters
(Short Paper)
</span>
</span>
</span>
</td>
<td>
<span class="field-value author">
<span class="item">
<span class="item-component">
Korhonen, Tuukka
</span>
[
<span class="item-component">
orcid:0000-0003-0861-6515
</span>
]
</span>
;
<span class="item">
<span class="item-component">
Järvisalo, Matti
</span>
[
<span class="item-component">
orcid:0000-0003-2572-063X
</span>
]
</span>
</span>
</td>
<td>
<span class="field-value issue">
<span class="item">
<span class="item-component">
</span>
</span>
</span>
</td>
<td>
<span class="field-value volume">
<span class="item">
<span class="item-component">
</span>
</span>
</span>
</td>
<td>
<span class="field-value venue">
<span class="item">
<span class="item-component">
LIPIcs : Leibniz International Proceedings In Informatics
</span>
[
<span class="item-component">
issn:1868-8969
</span>
]
</span>
</span>
</td>
<td>
<span class="field-value page">
<span class="item">
<span class="item-component">
</span>
</span>
</span>
</td>
<td>
<span class="field-value pub_date">
<span class="item">
<span class="item-component">
2021
</span>
</span>
</span>
</td>
<td>
<span class="field-value type">
<span class="item">
<span class="item-component">
report
</span>
</span>
</span>
</td>
<td>
<span class="field-value publisher">
<span class="item">
<span class="item-component">
Schloss Dagstuhl - Leibniz-Zentrum Für Informatik
</span>
</span>
</span>
</td>
<td>
<span class="field-value editor">
<span class="item">
<span class="item-component">
Michel, Laurent D.
</span>
[
<span class="item-component">
orcid:0000-0001-7230-7130
</span>
]
</span>
</span>
</td>
</tr>