Seuraa
Ankit Shukla
Ankit Shukla
LogiCS@TUWien
Vahvistettu sähköpostiosoite verkkotunnuksessa ncbs.res.in
Nimike
Viittaukset
Viittaukset
Vuosi
A survey on applications of quantified Boolean formulas
A Shukla, A Biere, L Pulina, M Seidl
2019 IEEE 31st International Conference on Tools with Artificial …, 2019
542019
Growth, yield and economics of rain fed chickpea (Cicer arietinum L.) as influenced by integrated weed management
SS Kaushik, AK Rai, P Sirothia, AK Sharma, AK Shukla
NISCAIR-CSIR, India, 2014
332014
Discovering vesicle traffic network constraints by model checking
A Shukla, A Bhattacharyya, L Kuppusamy, M Srivas, M Thattai
PloS one 12 (7), e0180692, 2017
102017
ApproxASP–a scalable approximate answer set counter
M Kabir, FO Everardo, AK Shukla, M Hecher, JK Fichte, KS Meel
Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5755-5764, 2022
92022
Qbffam: A tool for generating QBF families from proof complexity
O Beyersdorff, L Pulina, M Seidl, A Shukla
International Conference on Theory and Applications of Satisfiability …, 2021
92021
QBFEval’18–Competitive evaluation of QBF solvers
L Pulina, M Seidl, A Shukla
72018
Autarkies for DQCNF
O Kullmann, A Shukla
2019 Formal Methods in Computer Aided Design (FMCAD), 179-183, 2019
52019
Outercount: A first-level solution-counter for quantified boolean formulas
A Shukla, S Möhle, M Kauers, M Seidl
International Conference on Intelligent Computer Mathematics, 272-284, 2022
32022
Ferpmodels: A certification framework for expansion-based qbf solving
R Bloem, V Hadzic, A Shukla, M Seidl
24th International Symposium on Symbolic and Numeric Algorithms for …, 2022
32022
Short Q-resolution proofs with homomorphisms
A Shukla, F Slivovsky, S Szeider
Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020
32020
A formal methods approach to predicting new features of the eukaryotic vesicle traffic system
A Bhattacharyya, A Gupta, L Kuppusamy, S Mani, A Shukla, M Srivas, ...
Acta Informatica 58, 57-93, 2021
22021
An Approximate Model Counter for ASP
F Everardo, M Hecher, A Shukla
NMR 2020 Workshop, 208-216, 2020
22020
Smt solving for vesicle traffic systems in cells
A Gupta, A Shukla, M Srivas, M Thattai
SASB, 2017
22017
FERPModels: a certification framework for expansion-based QBF solving
V Hadžić, R Bloem, A Shukla, M Seidl
2022 24th International Symposium on Symbolic and Numeric Algorithms for …, 2022
12022
Extending xorro with Approximate Model Counting
F Everardo, M Hecher, A Shukla
12020
Synthesis for vesicle traffic systems
A Gupta, S Mani, A Shukla
Computational Methods in Systems Biology: 16th International Conference …, 2018
12018
Transforming Quantified Boolean Formulas Using Biclique Covers
O Kullmann, A Shukla
International Conference on Tools and Algorithms for the Construction and …, 2023
2023
Introducing Autarkies for DQCNF
O Kullmann, A Shukla
2019 International Workshop on Quantified Boolean Formulas and Beyond, 2019
2019
SMT solving for vesicle traffic systems in cells
A Gupta, A Shukla, M Srivas, M Thattai
2017 Static Analysis for Systems Biology, 2018
2018
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–19