Name Card

Full name Familienname, Vorname
Egly, Uwe
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 75 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Mandl, Alexander ; Egly, Uwe Implementations for Shor's algorithm for the DLPInproceedings Konferenzbeitrag 27-Sep-2022
2Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad ; Egly, Uwe ; Lonsing, Florian ; Seidl, Martina Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternationsArtikel Article 2021
3Lonsing, Florian ; Egly, Uwe QRATPre+: Effective QBF Preprocessing via Strong Redundancy PropertiesKonferenzbeitrag Inproceedings 2019
4Lonsing, Florian ; Egly, Uwe $${\textsf {QRAT}}^{+}$$: Generalizing QRAT by a More Powerful QBF Redundancy PropertyKonferenzbeitrag Inproceedings 2018
5Lonsing, Florian ; Egly, Uwe Evaluating QBF Solvers: Quantifier Alternations MatterKonferenzbeitrag Inproceedings 2018
6Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad ; Egly, Uwe ; Lonsing, Florian ; Seidl, Martina Expansion-Based QBF Solving Without RecursionKonferenzbeitrag Inproceedings 2018
7Lonsing, Florian ; Egly, Uwe Evaluating QBF Solvers: Quantifier Alternations MatterBericht Report2017
8Lonsing, Florian ; Egly, Uwe DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCLKonferenzbeitrag Inproceedings 2017
9Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant planning as a case study of incremental QBF solvingArtikel Article 2017
10Egly, Uwe Translations from QBFs to First-order LogicPräsentation Presentation2016
11Egly, Uwe On Stronger Calculi for QBFsKonferenzbeitrag Inproceedings 2016
12Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant Planning as a Case Study of Incremental QBF SolvingArtikel Article 2016
13Lonsing, Florian ; Egly, Uwe ; Seidl, Martina Q-Resolution with Generalized AxiomsKonferenzbeitrag Inproceedings 2016
14Egly, Uwe ; Lonsing, Florian ; Oetsch, Johannes Automated Benchmarking of Incremental SAT and QBF SolversKonferenzbeitrag Inproceedings 2015
15Lonsing, Florian ; Egly, Uwe Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver APIKonferenzbeitrag Inproceedings 2015
16Creignou, Nadia ; Daudé, Hervé ; Egly, Uwe ; Rossignol, Raphaël Exact location of the phase transition for random (1,2)-QSATArtikel Article2015
17Lonsing, Florian ; Bacchus, Fahiem ; Biere, Armin ; Egly, Uwe ; Seidl, Martina Enhancing Search-Based QBF Solving by Dynamic Blocked Clause EliminationKonferenzbeitrag Inproceedings 2015
18Egly, Uwe Deduction Concepts for Quantified Boolean FormulasPräsentation Presentation2014
19Egly, Uwe Quantifier Handling in Different Calculi for Quantified Boolean FormulasPräsentation Presentation2014
20Egly, Uwe On the Relation between Resolution Calculi for QBFs and First-order FormulasPräsentation Presentation2014

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 24 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Zachmann Rainer - 2023 - Quantum circuit and Qiskit implementaion of the...pdf.jpgZachmann, Rainer Design and implementation of the recursive Bernstein-Vazirani quantum algorithmThesis Hochschulschrift 2023
2Jomar Dana - 2021 - Sequent Calculi for QBFs Their relation to bounded...pdf.jpgJomar, Dana Sequent Calculi for QBFs : Their relation to bounded arithmetic, and the complexity of the witnessing problemThesis Hochschulschrift 2021
3Mandl Alexander - 2021 - Quantum algorithms for the discrete logarithm problem.pdf.jpgMandl, Alexander Quantum algorithms for the discrete logarithm problemThesis Hochschulschrift 2021
4Beyersdorff, Olaf ; Egly, Uwe ; Mahajan, Meena ; Nalon, Claudia SAT and Interactions (Dagstuhl Seminar 20061)Konferenzband Proceedings2020
5Diller Martin - 2019 - Realising argumentation using answer set programming and...pdf.jpgDiller, Martin Realising argumentation using answer set programming and quantified boolean formulasThesis Hochschulschrift 2019
6Balabanov, Valeriy ; Widl, Magdalena ; Jiang, Jie-Hong R. QBF Resolution Systems and Their Proof ComplexitiesKonferenzbeitrag Inproceedings 2014
7Sinz, Carsten ; Egly, Uwe Theory and Applications of Satisfiability Testing – SAT 2014Konferenzband Proceedings2014
8Kogelnig, Richard Workspace decomposition-based motion planningThesis Hochschulschrift2011
9Matzke, Thomas QPar : a multithreaded distributed solver for quantified Boolean formulasThesis Hochschulschrift2011
10Haberl Peter - 2011 - GQBF and proof complexity.pdf.jpgHaberl, Peter GQBF and proof complexityThesis Hochschulschrift 2011
11Vicovac, Tanja ; Reiterer, Alexander ; Egly, Uwe ; Eiter, Thomas ; Rieke-Zapp, Dirk Intelligent Deformation InterpretationKonferenzbeitrag Inproceedings2010
12Petzelbauer, Max Preprocessing for quantified Boolean formulasThesis Hochschulschrift2010
13Gaggl, Sarah Alice Solving argumentation frameworks using answer set programmingThesis Hochschulschrift2009
14Reiterer, Alexander ; Egly, Uwe Application of Artificial Intelligence in Engineering GeodesyBuch Book2008
15Lehmann, Martin ; Reiterer, Alexander Case-Based Deformation Assessment - A ConceptKonferenzbeitrag Inproceedings2008
16Haller, Leopold Carl Robert Extending a tableau-based SAT procedure with techniques from CNF-based SATThesis Hochschulschrift2008
17Neumeier, Emanuela Collisions in cryptographic hash algorithmsThesis Hochschulschrift2005
18Weber, Daniel Decision making in the robot soccer domainThesis Hochschulschrift2005
19Tappeiner, Hanns Wolfram Nano - Entwicklung eines kleinen sechsbeinigen Roboters nach biologischem VorbildThesis Hochschulschrift2004
20Woltran, Stefan Quantified Boolean formulas - from theory to practiceThesis Hochschulschrift2003