Published in: LIPIcs, Volume 280, 29th International Conference on Principles and Practice of Constraint Programming (CP 2023)
Jinqiang Yu, Alexey Ignatiev, and Peter J. Stuckey. From Formal Boosted Tree Explanations to Interpretable Rule Sets. In 29th International Conference on Principles and Practice of Constraint Programming (CP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 280, pp. 38:1-38:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)
@InProceedings{yu_et_al:LIPIcs.CP.2023.38, author = {Yu, Jinqiang and Ignatiev, Alexey and Stuckey, Peter J.}, title = {{From Formal Boosted Tree Explanations to Interpretable Rule Sets}}, booktitle = {29th International Conference on Principles and Practice of Constraint Programming (CP 2023)}, pages = {38:1--38:21}, 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.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2023.38}, URN = {urn:nbn:de:0030-drops-190758}, doi = {10.4230/LIPIcs.CP.2023.38}, annote = {Keywords: Decision set, interpretable model, gradient boosted tree, BT compilation} }
Published in: LIPIcs, Volume 280, 29th International Conference on Principles and Practice of Constraint Programming (CP 2023)
Vincent Barbosa Vaz, James Bailey, Christopher Leckie, and Peter J. Stuckey. Predict-Then-Optimise Strategies for Water Flow Control (Short Paper). In 29th International Conference on Principles and Practice of Constraint Programming (CP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 280, pp. 42:1-42:10, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023)
@InProceedings{barbosavaz_et_al:LIPIcs.CP.2023.42, author = {Barbosa Vaz, Vincent and Bailey, James and Leckie, Christopher and J. Stuckey, Peter}, title = {{Predict-Then-Optimise Strategies for Water Flow Control}}, booktitle = {29th International Conference on Principles and Practice of Constraint Programming (CP 2023)}, pages = {42:1--42:10}, 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.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2023.42}, URN = {urn:nbn:de:0030-drops-190795}, doi = {10.4230/LIPIcs.CP.2023.42}, annote = {Keywords: Water Flow Control, Optimization, Machine Learning} }
Published in: LIPIcs, Volume 236, 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
Andreas Niskanen, Jeremias Berg, and Matti Järvisalo. Incremental Maximum Satisfiability. In 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 236, pp. 14:1-14:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
@InProceedings{niskanen_et_al:LIPIcs.SAT.2022.14, author = {Niskanen, Andreas and Berg, Jeremias and J\"{a}rvisalo, Matti}, title = {{Incremental Maximum Satisfiability}}, booktitle = {25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)}, pages = {14:1--14:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-242-6}, ISSN = {1868-8969}, year = {2022}, volume = {236}, editor = {Meel, Kuldeep S. and Strichman, Ofer}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2022.14}, URN = {urn:nbn:de:0030-drops-166885}, doi = {10.4230/LIPIcs.SAT.2022.14}, annote = {Keywords: maximum satisfiability, MaxSAT, incremental optimization, API, implicit hitting set approach} }
Published in: LIPIcs, Volume 235, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022)
Alexander Ek, Andreas Schutt, Peter J. Stuckey, and Guido Tack. Explaining Propagation for Gini and Spread with Variable Mean. In 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 235, pp. 21:1-21:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
@InProceedings{ek_et_al:LIPIcs.CP.2022.21, author = {Ek, Alexander and Schutt, Andreas and Stuckey, Peter J. and Tack, Guido}, title = {{Explaining Propagation for Gini and Spread with Variable Mean}}, booktitle = {28th International Conference on Principles and Practice of Constraint Programming (CP 2022)}, pages = {21:1--21:16}, 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.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2022.21}, URN = {urn:nbn:de:0030-drops-166503}, doi = {10.4230/LIPIcs.CP.2022.21}, annote = {Keywords: Spread constraint, Gini index, Filtering algorithm, Constraint programming, Lazy clause generation} }
Published in: LIPIcs, Volume 210, 27th International Conference on Principles and Practice of Constraint Programming (CP 2021)
Ilankaikone Senthooran, Pierre Le Bodic, and Peter J. Stuckey. Optimising Training for Service Delivery. In 27th International Conference on Principles and Practice of Constraint Programming (CP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 210, pp. 48:1-48:15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021)
@InProceedings{senthooran_et_al:LIPIcs.CP.2021.48, author = {Senthooran, Ilankaikone and Le Bodic, Pierre and Stuckey, Peter J.}, title = {{Optimising Training for Service Delivery}}, booktitle = {27th International Conference on Principles and Practice of Constraint Programming (CP 2021)}, pages = {48:1--48: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.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2021.48}, URN = {urn:nbn:de:0030-drops-153395}, doi = {10.4230/LIPIcs.CP.2021.48}, annote = {Keywords: Scheduling, Task Allocation, Training Optimisation} }
Published in: OASIcs, Volume 86, Recent Developments in the Design and Implementation of Programming Languages (2020)
Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey. Abstract Interpretation, Symbolic Execution and Constraints. In Recent Developments in the Design and Implementation of Programming Languages. Open Access Series in Informatics (OASIcs), Volume 86, pp. 7:1-7:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2020)
@InProceedings{amadini_et_al:OASIcs.Gabbrielli.7, author = {Amadini, Roberto and Gange, Graeme and Schachte, Peter and S{\o}ndergaard, Harald and Stuckey, Peter J.}, title = {{Abstract Interpretation, Symbolic Execution and Constraints}}, booktitle = {Recent Developments in the Design and Implementation of Programming Languages}, pages = {7:1--7:19}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-171-9}, ISSN = {2190-6807}, year = {2020}, volume = {86}, editor = {de Boer, Frank S. and Mauro, Jacopo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.7}, URN = {urn:nbn:de:0030-drops-132294}, doi = {10.4230/OASIcs.Gabbrielli.7}, annote = {Keywords: Abstract interpretation, symbolic execution, constraint solving, dynamic analysis, static analysis} }
Published in: OASIcs, Volume 52, Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)
Graeme Gange and Peter J. Stuckey. Constraint Propagation and Explanation over Novel Types by Abstract Compilation. In Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). Open Access Series in Informatics (OASIcs), Volume 52, pp. 13:1-13:14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2016)
@InProceedings{gange_et_al:OASIcs.ICLP.2016.13, author = {Gange, Graeme and Stuckey, Peter J.}, title = {{Constraint Propagation and Explanation over Novel Types by Abstract Compilation}}, booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)}, pages = {13:1--13:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-007-1}, ISSN = {2190-6807}, year = {2016}, volume = {52}, editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.13}, URN = {urn:nbn:de:0030-drops-67437}, doi = {10.4230/OASIcs.ICLP.2016.13}, annote = {Keywords: constraint programming, program synthesis, program analysis} }
Published in: LIPIcs, Volume 11, Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) (2011)
Leslie De Koninck, Sebastian Brand, and Peter J. Stuckey. Constraints in Non-Boolean Contexts. In Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 11, pp. 117-127, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2011)
@InProceedings{dekoninck_et_al:LIPIcs.ICLP.2011.117, author = {De Koninck, Leslie and Brand, Sebastian and Stuckey, Peter J.}, title = {{Constraints in Non-Boolean Contexts}}, booktitle = {Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)}, pages = {117--127}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-31-6}, ISSN = {1868-8969}, year = {2011}, volume = {11}, editor = {Gallagher, John P. and Gelfond, Michael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2011.117}, URN = {urn:nbn:de:0030-drops-31685}, doi = {10.4230/LIPIcs.ICLP.2011.117}, annote = {Keywords: Constraint modelling languages, model transformation, partial functions} }
Feedback for Dagstuhl Publishing