Pages that link to "Item:Q3612459"
From MaRDI portal
The following pages link to Short XORs for Model Counting: From Theory to Practice (Q3612459):
Displaying 9 items.
- On computing minimal independent support and its applications to sampling and counting (Q265701) (← links)
- Model counting with error-correcting codes (Q2009186) (← links)
- In search of balance: the challenge of generating balanced Latin rectangles (Q2011576) (← links)
- Testing in ASP: revisited language and programming environment (Q2055810) (← links)
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version (Q2133436) (← links)
- A Study of Symmetry Breaking Predicates and Model Counting (Q5039506) (← links)
- (Q5136333) (← links)
- Projected model counting: beyond independent support (Q6160911) (← links)
- Model counting meets \(F_0\) estimation (Q6535267) (← links)