Artículos con órdenes de acceso público - Supratik ChakrabortyMás información
No disponible en ningún lugar: 1
Tractable representations for Boolean functional synthesis
S Akshay, S Chakraborty, S Shah
Annals of Mathematics and Artificial Intelligence, 1-46, 2023
Órdenes: Department of Science & Technology, India
Disponibles en algún lugar: 9
Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls.
S Chakraborty, KS Meel, MY Vardi
IJCAI, 3569-3576, 2016
Órdenes: US National Science Foundation
Approximate probabilistic inference via word-level counting
S Chakraborty, K Meel, R Mistry, M Vardi
Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
Órdenes: US National Science Foundation
Functional synthesis via input–output separation
S Chakraborty, D Fried, LM Tabajara, MY Vardi
Formal Methods in System Design 60 (2), 228-258, 2022
Órdenes: US National Science Foundation
Boolean functional synthesis: hardness and practical algorithms
S Akshay, S Chakraborty, S Goel, S Kulal, S Shah
Formal Methods in System Design 57 (1), 53-86, 2021
Órdenes: Department of Science & Technology, India
A normal form characterization for efficient Boolean Skolem function synthesis
P Shah, A Bansal, S Akshay, S Chakraborty
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021
Órdenes: Department of Science & Technology, India
On uniformly sampling traces of a transition system
S Chakraborty, AA Shrotri, MY Vardi
Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020
Órdenes: US National Science Foundation
On the hardness of probabilistic inference relaxations
S Chakraborty, KS Meel, MY Vardi
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 7785-7792, 2019
Órdenes: US National Science Foundation, National Research Foundation, Singapore
On symbolic approaches for computing the matrix permanent
S Chakraborty, AA Shrotri, MY Vardi
Principles and Practice of Constraint Programming: 25th International …, 2019
Órdenes: US National Science Foundation
On eventual non-negativity and positivity for the weighted sum of powers of matrices
S Akshay, S Chakraborty, D Pal
International Joint Conference on Automated Reasoning, 671-690, 2022
Órdenes: Department of Science & Technology, India
La información de publicación y financiación se determina de forma automática mediante un programa informático