Published in: LIPIcs, Volume 236, 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
Nina Narodytska and Nikolaj Bjørner. Analysis of Core-Guided MaxSat Using Cores and Correction Sets. In 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 236, pp. 26:1-26:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{narodytska_et_al:LIPIcs.SAT.2022.26, author = {Narodytska, Nina and Bj{\o}rner, Nikolaj}, title = {{Analysis of Core-Guided MaxSat Using Cores and Correction Sets}}, booktitle = {25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)}, pages = {26:1--26:20}, 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-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2022.26}, URN = {urn:nbn:de:0030-drops-167006}, doi = {10.4230/LIPIcs.SAT.2022.26}, annote = {Keywords: maximum satisfiability, unsatisfiable cores, correction sets} }
Published in: Dagstuhl Reports, Volume 11, Issue 9 (2022)
Nikolaj S. Bjørner, Maria Christakis, Matteo Maffei, and Grigore Rosu. Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431). In Dagstuhl Reports, Volume 11, Issue 9, pp. 80-101, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@Article{bjrner_et_al:DagRep.11.9.80, author = {Bj{\o}rner, Nikolaj S. and Christakis, Maria and Maffei, Matteo and Rosu, Grigore}, title = {{Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431)}}, pages = {80--101}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2022}, volume = {11}, number = {9}, editor = {Bj{\o}rner, Nikolaj S. and Christakis, Maria and Maffei, Matteo and Rosu, Grigore}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.11.9.80}, URN = {urn:nbn:de:0030-drops-159198}, doi = {10.4230/DagRep.11.9.80}, annote = {Keywords: automated reasoning, cryptographic protocols, program verification, programming languages, smart contracts} }
Published in: Dagstuhl Reports, Volume 9, Issue 2 (2019)
Sébastien Bardin, Nikolaj Bjørner, and Cristian Cadar. Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062). In Dagstuhl Reports, Volume 9, Issue 2, pp. 27-47, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{bardin_et_al:DagRep.9.2.27, author = {Bardin, S\'{e}bastien and Bj{\o}rner, Nikolaj and Cadar, Cristian}, title = {{Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062)}}, pages = {27--47}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2019}, volume = {9}, number = {2}, editor = {Bardin, S\'{e}bastien and Bj{\o}rner, Nikolaj and Cadar, Cristian}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.9.2.27}, URN = {urn:nbn:de:0030-drops-108574}, doi = {10.4230/DagRep.9.2.27}, annote = {Keywords: Automated Decision Procedures, Constraint Programming, SAT, SMT} }
Published in: Dagstuhl Reports, Volume 5, Issue 9 (2016)
Nikolaj S. Bjorner, Jasmin Christian Blanchette, Viorica Sofronie-Stokkermans, and Christoph Weidenbach. Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381). In Dagstuhl Reports, Volume 5, Issue 9, pp. 18-37, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@Article{bjorner_et_al:DagRep.5.9.18, author = {Bjorner, Nikolaj S. and Blanchette, Jasmin Christian and Sofronie-Stokkermans, Viorica and Weidenbach, Christoph}, title = {{Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381)}}, pages = {18--37}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2016}, volume = {5}, number = {9}, editor = {Bjorner, Nikolaj S. and Blanchette, Jasmin Christian and Sofronie-Stokkermans, Viorica and Weidenbach, Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.9.18}, URN = {urn:nbn:de:0030-drops-56830}, doi = {10.4230/DagRep.5.9.18}, annote = {Keywords: Automated Deduction, Program Verification, Certification} }
Feedback for Dagstuhl Publishing