The following pages link to Anil K. Shukla (Q2201427):
Displaying 11 items.
- (Q903198) (redirect page) (← links)
- Level-ordered \(Q\)-resolution and tree-like \(Q\)-resolution are incomparable (Q903199) (← links)
- Understanding cutting planes for QBFs (Q1784953) (← links)
- Numerical approximations of Atangana-Baleanu Caputo derivative and its application (Q2201428) (← links)
- Feasible Interpolation for QBF Resolution Calculi (Q3448783) (← links)
- (Q3538886) (← links)
- Are Short Proofs Narrow? QBF Resolution is not Simple. (Q4601867) (← links)
- Are Short Proofs Narrow? QBF Resolution Is <i>Not</i> So Simple (Q4608723) (← links)
- (Q4636589) (← links)
- (Q5270089) (← links)
- (Q5376062) (← links)
