Published in: LIPIcs, Volume 275, Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2023)
Alexander Golovnev, Siyao Guo, Spencer Peters, and Noah Stephens-Davidowitz. The (Im)possibility of Simple Search-To-Decision Reductions for Approximation Problems. In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 275, pp. 10:1-10:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{golovnev_et_al:LIPIcs.APPROX/RANDOM.2023.10, author = {Golovnev, Alexander and Guo, Siyao and Peters, Spencer and Stephens-Davidowitz, Noah}, title = {{The (Im)possibility of Simple Search-To-Decision Reductions for Approximation Problems}}, booktitle = {Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2023)}, pages = {10:1--10:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-296-9}, ISSN = {1868-8969}, year = {2023}, volume = {275}, editor = {Megow, Nicole and Smith, Adam}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.APPROX/RANDOM.2023.10}, URN = {urn:nbn:de:0030-drops-188351}, doi = {10.4230/LIPIcs.APPROX/RANDOM.2023.10}, annote = {Keywords: search-to-decision reductions, oracles, constraint satisfaction, traveling salesman, discrete optimization} }
Published in: OASIcs, Volume 109, Eelco Visser Commemorative Symposium (EVCS 2023)
Jacques Carette, Spencer W. Smith, and Jason Balaci. Generating Software for Well-Understood Domains. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 7:1-7:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{carette_et_al:OASIcs.EVCS.2023.7, author = {Carette, Jacques and Smith, Spencer W. and Balaci, Jason}, title = {{Generating Software for Well-Understood Domains}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {7:1--7:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.7}, URN = {urn:nbn:de:0030-drops-177776}, doi = {10.4230/OASIcs.EVCS.2023.7}, annote = {Keywords: code generation, document generation, knowledge capture, software engineering} }
Published in: Dagstuhl Seminar Proceedings, Volume 8021, Numerical Validation in Current Hardware Architectures (2008)
John D. Pryce, George C. Corliss, R. Baker Kearfott, Ned S. Nedialkov, and Spencer Smith. Second Note on Basic Interval Arithmetic for IEEE754R. In Numerical Validation in Current Hardware Architectures. Dagstuhl Seminar Proceedings, Volume 8021, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{pryce_et_al:DagSemProc.08021.18, author = {Pryce, John D. and Corliss, George C. and Kearfott, R. Baker and Nedialkov, Ned S. and Smith, Spencer}, title = {{Second Note on Basic Interval Arithmetic for IEEE754R}}, booktitle = {Numerical Validation in Current Hardware Architectures}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8021}, editor = {Annie Cuyt and Walter Kr\"{a}mer and Wolfram Luther and Peter Markstein}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08021.18}, URN = {urn:nbn:de:0030-drops-14517}, doi = {10.4230/DagSemProc.08021.18}, annote = {Keywords: Interval arithmetic, validated computation, floating point, standards, exceptions, not an interval} }
Published in: Dagstuhl Seminar Proceedings, Volume 6021, Reliable Implementation of Real Number Algorithms: Theory and Practice (2006)
George F. Corliss, R. Baker Kearfott, Ned Nedialkov, John D. Pryce, and Spencer Smith. Interval Subroutine Library Mission. In Reliable Implementation of Real Number Algorithms: Theory and Practice. Dagstuhl Seminar Proceedings, Volume 6021, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{corliss_et_al:DagSemProc.06021.7, author = {Corliss, George F. and Kearfott, R. Baker and Nedialkov, Ned and Pryce, John D. and Smith, Spencer}, title = {{Interval Subroutine Library Mission}}, booktitle = {Reliable Implementation of Real Number Algorithms: Theory and Practice}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6021}, editor = {Peter Hertling and Christoph M. Hoffmann and Wolfram Luther and Nathalie Revol}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06021.7}, URN = {urn:nbn:de:0030-drops-7122}, doi = {10.4230/DagSemProc.06021.7}, annote = {Keywords: Subroutine library, problem-solving library, C++ interval standard} }
Feedback for Dagstuhl Publishing