most citedWorld War III Analysis using Signed Social Networks

2 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

On Proof Systems for #QBF

Sravanthi Chede, Leroy Chew, Vaibhav Krishan +1

For a quantified Boolean formula (QBF), the problem of computing the number of winning strategies is known as the #QBF problem. This problem is considered harder than the analogous…