The following pages link to (Q4808676):
Displayed 6 items.
- Bounded list injective homomorphism for comparative analysis of protein-protein interaction graphs (Q935835) (← links)
- Counting models for 2SAT and 3SAT formulae (Q1770390) (← links)
- Faster exponential-time algorithms for approximately counting independent sets (Q2235762) (← links)
- New upper bound for the \#3-SAT problem (Q2380029) (← links)
- A Tighter Bound for Counting Max-Weight Solutions to 2SAT Instances (Q3503590) (← links)
- Picturing Counting Reductions with the ZH-Calculus (Q6200526) (← links)