Prateek Kumar

201720182019202020212022202320241 2 7 9 14 9 4 2

Acesso público

2 artigos

0 artigo

disponível

não disponível

Com base nas autorizações de financiamento

Ruben MartinsCarnegie Mellon UniversityE-mail confirmado em cs.cmu.edu
Saurabh JoshiSupraOraclesE-mail confirmado em cse.iith.ac.in
Sukrut RaoMax Planck Institute for Informatics, Saarland Informatics CampusE-mail confirmado em mpi-inf.mpg.de
Suresh PuriniAssociate Professor, International Institute of Information Technology, HyderabadE-mail confirmado em iiit.ac.in
Ramakrishna UpadrastaAssociate Professor, Dept. of Computer Science and Engg, IIT Hyderabad, IndiaE-mail confirmado em cse.iith.ac.in
Vaibhav B SinhaUniversity of Texas at AustinE-mail confirmado em utexas.edu
Utpal BoraResearch Associate at University of CambridgeE-mail confirmado em cl.cam.ac.uk
Alexander NadelReseach Scientist, Intel & TechnionE-mail confirmado em intel.com
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaE-mail confirmado em inesc-id.pt

Prateek Kumar

Afiliação desconhecida

E-mail confirmado em iith.ac.in - Página inicial


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Approximation strategies for incomplete MaxSAT S Joshi, P Kumar, R Martins, S Rao Principles and Practice of Constraint Programming: 24th International …, 2018	25	2018
Open-wbo-inc: Approximation strategies for incomplete weighted maxsat S Joshi, P Kumar, S Rao, R Martins Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 73-97, 2019	15	2019
An analysis of executable size reduction by LLVM passes S Jain, U Bora, P Kumar, VB Sinha, S Purini, R Upadrasta CSI Transactions on ICT 7 (2), 105-110, 2019	7	2019
Open-WBO-Inc in MaxSAT Evaluation 2020 S Joshi, P Kumar, S Rao, R Martins MaxSAT Evaluation 2020, 26, 2021	2	2021

O sistema não pode executar a operação agora. Tente novamente mais tarde.

Artigos 1–4

Citações por ano