Ankit Shukla is an author at University of Sassari specializing in automated reasoning, formal methods, and engineering.
Top concepts
EngineeringFuzzy LogicFormal MethodsSatisfiabilityComputer ScienceLogic ProgrammingCircuit ComplexitySymbolic ReasoningAutomated ReasoningFormal Verification
Publications per year
2019–2019
1
1
A Survey on Applications of Quantified Boolean Formulas
Ankit Shukla, Armin Biere, Luca Pulina et al. · 2019 · 52 citations
Rows per page
1–1 of 1