Person:2201427: Difference between revisions

Latest revision as of 02:09, 13 December 2023

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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Anil K. Shukla

Revision as of 06:03, 7 October 2023 view source Import231006081045 (talk \| contribs) Bots 963,540 edits Created automatically from import231006081045	Latest revision as of 02:09, 13 December 2023 view source AuthorDisambiguator (talk \| contribs) Bots, Administrators 1,238,488 edits m AuthorDisambiguator moved page Anil K. Shukla to Anil K. Shukla: Duplicate
(No difference)