Published in: LIPIcs, Volume 280, 29th International Conference on Principles and Practice of Constraint Programming (CP 2023)
Kexin Zheng, Ang Li, Han Zhang, and T. K. Satish Kumar. FastMapSVM for Predicting CSP Satisfiability. In 29th International Conference on Principles and Practice of Constraint Programming (CP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 280, pp. 40:1-40:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{zheng_et_al:LIPIcs.CP.2023.40, author = {Zheng, Kexin and Li, Ang and Zhang, Han and Kumar, T. K. Satish}, title = {{FastMapSVM for Predicting CSP Satisfiability}}, booktitle = {29th International Conference on Principles and Practice of Constraint Programming (CP 2023)}, pages = {40:1--40:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-300-3}, ISSN = {1868-8969}, year = {2023}, volume = {280}, editor = {Yap, Roland H. C.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2023.40}, URN = {urn:nbn:de:0030-drops-190775}, doi = {10.4230/LIPIcs.CP.2023.40}, annote = {Keywords: Constraint Satisfaction Problems, Machine Learning, FastMapSVM} }
Published in: LIPIcs, Volume 235, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022)
Chaithanya Basrur, Arambam James Singh, Arunesh Sinha, Akshat Kumar, and T. K. Satish Kumar. Trajectory Optimization for Safe Navigation in Maritime Traffic Using Historical Data. In 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 235, pp. 5:1-5:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{basrur_et_al:LIPIcs.CP.2022.5, author = {Basrur, Chaithanya and Singh, Arambam James and Sinha, Arunesh and Kumar, Akshat and Kumar, T. K. Satish}, title = {{Trajectory Optimization for Safe Navigation in Maritime Traffic Using Historical Data}}, booktitle = {28th International Conference on Principles and Practice of Constraint Programming (CP 2022)}, pages = {5:1--5:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-240-2}, ISSN = {1868-8969}, year = {2022}, volume = {235}, editor = {Solnon, Christine}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2022.5}, URN = {urn:nbn:de:0030-drops-166341}, doi = {10.4230/LIPIcs.CP.2022.5}, annote = {Keywords: Multi-Agent Path Coordination, Maritime Traffic Control} }
Published in: LIPIcs, Volume 210, 27th International Conference on Principles and Practice of Constraint Programming (CP 2021)
Shannon Sweitzer and T. K. Satish Kumar. Differential Programming via OR Methods. In 27th International Conference on Principles and Practice of Constraint Programming (CP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 210, pp. 53:1-53:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{sweitzer_et_al:LIPIcs.CP.2021.53, author = {Sweitzer, Shannon and Kumar, T. K. Satish}, title = {{Differential Programming via OR Methods}}, booktitle = {27th International Conference on Principles and Practice of Constraint Programming (CP 2021)}, pages = {53:1--53:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-211-2}, ISSN = {1868-8969}, year = {2021}, volume = {210}, editor = {Michel, Laurent D.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2021.53}, URN = {urn:nbn:de:0030-drops-153445}, doi = {10.4230/LIPIcs.CP.2021.53}, annote = {Keywords: Differential Programming, Operations Research, B\'{e}zier Curves} }
Feedback for Dagstuhl Publishing