Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling

Given a Boolean formula φ over the set of variables X and a projection set \mathcal{P} \subseteq X, then if \mathcal{I} \subseteq \mathcal{P} is independent support of \mathcal{P}, then if two solutions of φ agree on I, then they also agree on \mathcal{P}. The notion of independent support is relate...

Celý popis

Podrobná bibliografie

Vydáno v:	2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD) s. 1 - 9
Hlavní autoři:	Soos, Mate, Meel, Kuldeep S.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 29.10.2022
Témata:	Benchmark testing Computational efficiency Computational modeling Design automation Logic gates
ISSN:	1558-2434
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!