Prateek Kumar - Google Scholar Citations

20172018201920201 2 9 1

Ruben MartinsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Saurabh JoshiIIT HyderabadVerified email at iith.ac.in
Sukrut RaoMax Planck Institute for Informatics, Saarland Informatics CampusVerified email at mpi-inf.mpg.de
Alexander NadelReseacher and Engineer, IntelVerified email at intel.com
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerified email at inesc-id.pt
Suresh PuriniAssitant Professor, International Institute of Information Technology, HyderabadVerified email at iiit.ac.in
Ramakrishna UpadrastaAsst. Professor, Dept. of Computer Science and Engg, IIT Hyderabad, IndiaVerified email at iith.ac.in
Vaibhav B SinhaUniversity of Texas at AustinVerified email at utexas.edu

Prateek Kumar

Verified email at iith.ac.in - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Approximation strategies for incomplete MaxSAT S Joshi, P Kumar, R Martins, S Rao International Conference on Principles and Practice of Constraint …, 2018	9	2018
Open-wbo-inc in maxsat evaluation 2018 S Joshi, P Kumar, V Manquinho, R Martins, A Nadel, S Rao MaxSAT Evaluation 2018, 16, 0	3
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	2	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		2019

The system can't perform the operation now. Try again later.

Articles 1–4

Citations per year