Saurabh Joshi
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| \textsf{Open-WBO-Inc}: approximation strategies for incomplete weighted MaxSAT Journal on Satisfiability, Boolean Modeling and Computation | 2021-12-09 | Paper |
| On using incremental encodings in unsatisfiability-based MaxSAT solving Journal on Satisfiability, Boolean Modeling and Computation | 2021-12-09 | Paper |
| On the tractability of \(( k , i )\)-coloring Discrete Applied Mathematics | 2021-10-21 | Paper |
| On the tractability of \((k,i)\)-coloring | 2018-06-05 | Paper |
| On the tractability of \((k,i)\)-coloring (available as arXiv preprint) | 2018-06-05 | Paper |
| Underspecified harnesses and interleaved bugs Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
Research outcomes over time
This page was built for person: Saurabh Joshi
