pdf-format: |
|
@Article{beyersdorff_et_al:DR:2020:13057, author = {Olaf Beyersdorff and Uwe Egly and Meena Mahajan and Cl{\'a}udia Nalon}, title = {{SAT and Interactions (Dagstuhl Seminar 20061)}}, pages = {1--18}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2020}, volume = {10}, number = {2}, editor = {Olaf Beyersdorff and Uwe Egly and Meena Mahajan and Cl{\'a}udia Nalon}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2020/13057}, URN = {urn:nbn:de:0030-drops-130576}, doi = {10.4230/DagRep.10.2.1}, annote = {Keywords: SAT, MaxSAT, QBF, proof complexity, deep inference, modal logic, solving} }
Keywords: | SAT, MaxSAT, QBF, proof complexity, deep inference, modal logic, solving | |
Seminar: | Dagstuhl Reports, Volume 10, Issue 2 | |
Issue date: | 2020 | |
Date of publication: | 17.09.2020 |