Published in: LIPIcs, Volume 307, 30th International Conference on Principles and Practice of Constraint Programming (CP 2024)
João Cortes, Inês Lynce, and Vasco Manquinho. Slide&Drill, a New Approach for Multi-Objective Combinatorial Optimization. In 30th International Conference on Principles and Practice of Constraint Programming (CP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 307, pp. 8:1-8:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{cortes_et_al:LIPIcs.CP.2024.8, author = {Cortes, Jo\~{a}o and Lynce, In\^{e}s and Manquinho, Vasco}, title = {{Slide\&Drill, a New Approach for Multi-Objective Combinatorial Optimization}}, booktitle = {30th International Conference on Principles and Practice of Constraint Programming (CP 2024)}, pages = {8:1--8:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-336-2}, ISSN = {1868-8969}, year = {2024}, volume = {307}, editor = {Shaw, Paul}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2024.8}, URN = {urn:nbn:de:0030-drops-206932}, doi = {10.4230/LIPIcs.CP.2024.8}, annote = {Keywords: Multi-Objective Combinatorial Optimization, Satisfiability Algorithms} }
Published in: Dagstuhl Reports, Volume 13, Issue 6 (2024)
Marijn J. H. Heule, Inês Lynce, Stefan Szeider, and Andre Schidler. SAT Encodings and Beyond (Dagstuhl Seminar 23261). In Dagstuhl Reports, Volume 13, Issue 6, pp. 106-122, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@Article{heule_et_al:DagRep.13.6.106, author = {Heule, Marijn J. H. and Lynce, In\^{e}s and Szeider, Stefan and Schidler, Andre}, title = {{SAT Encodings and Beyond (Dagstuhl Seminar 23261)}}, pages = {106--122}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2024}, volume = {13}, number = {6}, editor = {Heule, Marijn J. H. and Lynce, In\^{e}s and Szeider, Stefan and Schidler, Andre}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.6.106}, URN = {urn:nbn:de:0030-drops-196409}, doi = {10.4230/DagRep.13.6.106}, annote = {Keywords: constraint propagation, lower and upper bounds, problem formulation, propositional satisfiability, symmetry breaking} }
Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
Filipe Gouveia, Inês Lynce, and Pedro T. Monteiro. Model Revision of Logical Regulatory Networks Using Logic-Based Tools. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 23:1-23:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{gouveia_et_al:OASIcs.ICLP.2018.23, author = {Gouveia, Filipe and Lynce, In\^{e}s and Monteiro, Pedro T.}, title = {{Model Revision of Logical Regulatory Networks Using Logic-Based Tools}}, booktitle = {Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)}, pages = {23:1--23:10}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-090-3}, ISSN = {2190-6807}, year = {2018}, volume = {64}, editor = {Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.23}, URN = {urn:nbn:de:0030-drops-98892}, doi = {10.4230/OASIcs.ICLP.2018.23}, annote = {Keywords: Logical Regulatory Networks, Model Revision, Answer Set Programming, Boolean Satisfiability, Logic-based tools} }
Published in: LIPIcs, Volume 16, Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL (2012)
Inês Lynce. Satisfiability: where Theory meets Practice (Invited Talk). In Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL. Leibniz International Proceedings in Informatics (LIPIcs), Volume 16, pp. 12-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{lynce:LIPIcs.CSL.2012.12, author = {Lynce, In\^{e}s}, title = {{Satisfiability: where Theory meets Practice}}, booktitle = {Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL}, pages = {12--13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-42-2}, ISSN = {1868-8969}, year = {2012}, volume = {16}, editor = {C\'{e}gielski, Patrick and Durand, Arnaud}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2012.12}, URN = {urn:nbn:de:0030-drops-36600}, doi = {10.4230/LIPIcs.CSL.2012.12}, annote = {Keywords: Propositional Satisfiability, SAT solvers, Applications} }
Feedback for Dagstuhl Publishing