Published in: LIPIcs, Volume 271, 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)
Markus Kirchweger, Manfred Scheucher, and Stefan Szeider. SAT-Based Generation of Planar Graphs. In 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 271, pp. 14:1-14:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{kirchweger_et_al:LIPIcs.SAT.2023.14, author = {Kirchweger, Markus and Scheucher, Manfred and Szeider, Stefan}, title = {{SAT-Based Generation of Planar Graphs}}, booktitle = {26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)}, pages = {14:1--14:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-286-0}, ISSN = {1868-8969}, year = {2023}, volume = {271}, editor = {Mahajan, Meena and Slivovsky, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2023.14}, URN = {urn:nbn:de:0030-drops-184767}, doi = {10.4230/LIPIcs.SAT.2023.14}, annote = {Keywords: SAT modulo Symmetry (SMS), dynamic symmetry breaking, planarity test, universal point set, order dimension, Schnyder’s theorem, Kuratowski’s theorem, Tur\'{a}n’s theorem, Earth-Moon problem} }
Published in: LIPIcs, Volume 236, 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)
Markus Kirchweger, Manfred Scheucher, and Stefan Szeider. A SAT Attack on Rota’s Basis Conjecture. In 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 236, pp. 4:1-4:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{kirchweger_et_al:LIPIcs.SAT.2022.4, author = {Kirchweger, Markus and Scheucher, Manfred and Szeider, Stefan}, title = {{A SAT Attack on Rota’s Basis Conjecture}}, booktitle = {25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022)}, pages = {4:1--4:18}, 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.4}, URN = {urn:nbn:de:0030-drops-166780}, doi = {10.4230/LIPIcs.SAT.2022.4}, annote = {Keywords: SAT modulo Symmetry (SMS), dynamic symmetry breaking, Rota’s basis conjecture, matroid} }
Published in: Dagstuhl Seminar Proceedings, Volume 6491, Digital Historical Corpora- Architecture, Annotation, and Retrieval (2007)
Manfred Markus. Joseph Wright's English Dialect Dictionary (1898-1905) Computerised: architecture and retrieval routine. In Digital Historical Corpora- Architecture, Annotation, and Retrieval. Dagstuhl Seminar Proceedings, Volume 6491, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{markus:DagSemProc.06491.11, author = {Markus, Manfred}, title = {{Joseph Wright's English Dialect Dictionary (1898-1905) Computerised: architecture and retrieval routine}}, booktitle = {Digital Historical Corpora- Architecture, Annotation, and Retrieval}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6491}, editor = {Lou Burnard and Milena Dobreva and Norbert Fuhr and Anke L\"{u}deling}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06491.11}, URN = {urn:nbn:de:0030-drops-10523}, doi = {10.4230/DagSemProc.06491.11}, annote = {Keywords: Corpus linguistics, dialectology, spoken English, history of English, lexicography, computer philology, normalisation, web design} }
Feedback for Dagstuhl Publishing