Anil K. Shukla

From MaRDI portal
Person:2201427

Available identifiers

zbMath Open shukla.anil-kMaRDI QIDQ2201427

List of research outcomes





PublicationDate of PublicationType
Numerical approximations of Atangana-Baleanu Caputo derivative and its application2020-09-29Paper
Understanding cutting planes for QBFs2018-09-27Paper
https://portal.mardi4nfdi.de/entity/Q53760622018-09-17Paper
https://portal.mardi4nfdi.de/entity/Q46365892018-04-19Paper
Are Short Proofs Narrow? QBF Resolution Is Not So Simple2018-03-22Paper
Are Short Proofs Narrow? QBF Resolution is not Simple.2018-01-24Paper
https://portal.mardi4nfdi.de/entity/Q52700892017-06-22Paper
Level-ordered \(Q\)-resolution and tree-like \(Q\)-resolution are incomparable2016-01-05Paper
Feasible Interpolation for QBF Resolution Calculi2015-10-27Paper
https://portal.mardi4nfdi.de/entity/Q35388862008-11-24Paper

Research outcomes over time

This page was built for person: Anil K. Shukla

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2201427&oldid=11007402"
Powered by MediaWiki