Anil K. Shukla

Available identifiers

zbMath Open shukla.anil-kMaRDI QIDQ2201427

List of research outcomes

Publication	Date of Publication	Type
Numerical approximations of Atangana-Baleanu Caputo derivative and its application	2020-09-29	Paper
Understanding cutting planes for QBFs	2018-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q5376062	2018-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q4636589	2018-04-19	Paper
Are Short Proofs Narrow? QBF Resolution Is Not So Simple	2018-03-22	Paper
Are Short Proofs Narrow? QBF Resolution is not Simple.	2018-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q5270089	2017-06-22	Paper
Level-ordered \(Q\)-resolution and tree-like \(Q\)-resolution are incomparable	2016-01-05	Paper
Feasible Interpolation for QBF Resolution Calculi	2015-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q3538886	2008-11-24	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Anil K. Shukla