Prateek Kumar

201720182019202020212022202320241 2 7 9 14 9 4 2

Dostęp publiczny

2 artykuły

0 artykułów

dostępne

niedostępne

Objęte finansowaniem

Ruben MartinsCarnegie Mellon UniversityZweryfikowany adres z cs.cmu.edu
Saurabh JoshiSupraOraclesZweryfikowany adres z cse.iith.ac.in
Sukrut RaoMax Planck Institute for Informatics, Saarland Informatics CampusZweryfikowany adres z mpi-inf.mpg.de
Suresh PuriniAssociate Professor, International Institute of Information Technology, HyderabadZweryfikowany adres z iiit.ac.in
Ramakrishna UpadrastaAssociate Professor, Dept. of Computer Science and Engg, IIT Hyderabad, IndiaZweryfikowany adres z cse.iith.ac.in
Vaibhav B SinhaUniversity of Texas at AustinZweryfikowany adres z utexas.edu
Utpal BoraResearch Associate at University of CambridgeZweryfikowany adres z cl.cam.ac.uk
Alexander NadelReseach Scientist, Intel & TechnionZweryfikowany adres z intel.com
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaZweryfikowany adres z inesc-id.pt

Prateek Kumar

Nieznane powiązanie

Zweryfikowany adres z iith.ac.in - Strona główna


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–4

Cytowania rocznie