Concepedia

Ajith K. John

AK

2

Publications

36

Citations

2

H-Index

2015

Active since

Affiliations

Indian Institute of Technology Bombay(Current)

Ajith K. John is an author at Indian Institute of Technology Bombay specializing in computer engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsSatisfiabilityComputer ScienceAutomated ReasoningFormal VerificationComputer EngineeringComputational ComplexityCompilersProgram Analysis

Publications per year

2015–2016

2

Publications

2

Skolem functions for factored formulas

Ajith K. John, Shetal Shah, Supratik Chakraborty et al. · 2015 · 26 citations

Engineering, Function ψ, Computational Complexity +21

A layered algorithm for quantifier elimination from linear modular constraints

Ajith K. John, Supratik Chakraborty · Formal Methods in System Design · 2016 · 10 citations

Mathematical Programming, Logic Synthesis, Constraint Solving +11

Rows per page

1–2 of 2