Model counting, approximate counting, XOR constraints.

Approximate Model Counting, Sparse XOR Constraints and Minimum Distance / Boreale, Michele; Gorla, Daniele. - STAMPA. - (2019), pp. 363-378. [10.1007/978-3-030-31175-9_21]

Approximate Model Counting, Sparse XOR Constraints and Minimum Distance

Boreale, Michele
;GORLA, DANIELE
2019

Abstract

Model counting, approximate counting, XOR constraints.
2019
978-3-030-31174-2
978-3-030-31175-9
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
363
378
Boreale, Michele; Gorla, Daniele
2a - Art/Cap/Saggio libro scient/tech
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1177602
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact