Egly, Uwe

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
Ao.Univ.Prof. Dipl.-Ing. Dr.rer.nat.
 
Full name Familienname, Vorname
Egly, Uwe
 

Own Publications Eigene Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel Towards Semantics-Aware Merge Support in Optimistic Model VersioningKonferenzbeitrag Inproceedings 2011
2Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel Towards Semantics-Aware Merge Support in Optimistic Model VersioningKonferenzbeitrag Inproceedings 2012
3Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel Towards Scenario-Based Testing of UML DiagramsKonferenzbeitrag Inproceedings 2012
4Lonsing, Florian ; Egly, Uwe $${\textsf {QRAT}}^{+}$$: Generalizing QRAT by a More Powerful QBF Redundancy PropertyKonferenzbeitrag Inproceedings 2018
5Egly, Uwe ; Widl, Magdalena ; Seidl, Martina ; Lonsing, Florian Solution extraction from long-distance resolution proofsKonferenzbeitrag Inproceedings 2013
6Bloem, Roderick ; Egly, Uwe ; Klampfl, Patrick ; Könighofer, Robert ; Lonsing, Florian SAT-Based Methods for Circuit SynthesisKonferenzbeitrag Inproceedings 2014
7Egly, Uwe ; Woltran, Stefan ; Dunne, Paul E. ; Bench-Capon, Trevor J.M. Reasoning in Argumentation Frameworks Using Quantified Boolean FormulasKonferenzbeitrag Inproceedings 2006
8Lonsing, Florian ; Egly, Uwe QRATPre+: Effective QBF Preprocessing via Strong Redundancy PropertiesKonferenzbeitrag Inproceedings 2019
9Lonsing, Florian ; Egly, Uwe ; Seidl, Martina Q-Resolution with Generalized AxiomsKonferenzbeitrag Inproceedings 2016
10Creignou, Nadia ; Daude, Herve ; Egly, Uwe Phase Transition for Random Quantified XOR-formulasKonferenzbeitrag Inproceedings2006
11Egly, Uwe On Stronger Calculi for QBFsKonferenzbeitrag Inproceedings 2016
12Egly, Uwe On Sequent Systems and Resolution for QBFsKonferenzbeitrag Inproceedings 2012
13Egly, Uwe ; Pichler, Reinhard ; Woltran, Stefan On Deciding Subsumption ProblemsBericht Report2003
14Creignou, Nadia ; Daude, Herve ; Egly, Uwe ; Rossignol, Raphael New Results on the Phase Transition for Random Quantified Boolean FormulasKonferenzbeitrag Inproceedings 2008
15Egly, Uwe ; Lonsing, Florian ; Widl, Magdalena Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF SolvingKonferenzbeitrag Inproceedings 2013
16Vicovac, T. ; Reiterer, A. ; Egly, U. ; Eiter, T. ; Rieke-Zapp, D. ; Bramer, Max Knowledge-Based Geo-risk Assessment for an Intelligent Measurement SystemKonferenzbeitrag Inproceedings 2010
17Vicovac, Tanja ; Reiterer, Alexander ; Egly, Uwe ; Eiter, Thomas ; Rieke-Zapp, Dirk ; Reiterer, Alexander ; Egly, Uwe ; Heinert, Michael ; Riedel, Björn Intelligent Deformation InterpretationKonferenzbeitrag Inproceedings2010
18Lonsing, Florian ; Egly, Uwe Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver APIKonferenzbeitrag Inproceedings 2015
19Lonsing, Florian ; Egly, Uwe Incremental QBF Solving by DepQBFKonferenzbeitrag Inproceedings2014
20Lonsing, Florian ; Egly, Uwe Incremental QBF SolvingKonferenzbeitrag Inproceedings 2014

Contributing Publications Mitbeteiligte Publikationen

Results 1-9 of 9 (Search time: 0.005 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Sinz, Carsten ; Egly, Uwe Theory and Applications of Satisfiability Testing – SAT 2014Konferenzband Proceedings2014
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
3Beyersdorff, Olaf ; Egly, Uwe ; Mahajan, Meena ; Nalon, Claudia SAT and Interactions (Dagstuhl Seminar 20061)Konferenzband Proceedings2020
4Diller Martin - 2019 - Realising argumentation using answer set programming and...pdf.jpgDiller, Martin Realising argumentation using answer set programming and quantified boolean formulasThesis Hochschulschrift 2019
5Mandl Alexander - 2021 - Quantum algorithms for the discrete logarithm problem.pdf.jpgMandl, Alexander Quantum algorithms for the discrete logarithm problemThesis Hochschulschrift 2021
6Balabanov, Valeriy ; Widl, Magdalena ; Jiang, Jie-Hong R. ; Sinz, Carsten ; Egly, Uwe QBF Resolution Systems and Their Proof ComplexitiesKonferenzbeitrag Inproceedings 2014
7Vicovac, Tanja ; Reiterer, Alexander ; Egly, Uwe ; Eiter, Thomas ; Rieke-Zapp, Dirk ; Reiterer, Alexander ; Egly, Uwe ; Heinert, Michael ; Riedel, Björn Intelligent Deformation InterpretationKonferenzbeitrag Inproceedings2010
8Lehmann, Martin ; Reiterer, Alexander ; Reiterer, Alexander ; Egly, Uwe Case-Based Deformation Assessment - A ConceptKonferenzbeitrag Inproceedings2008
9Reiterer, Alexander ; Egly, Uwe Application of Artificial Intelligence in Engineering GeodesyBuch Book2008

Projects Projekte


Results 1-2 of 2 (Search time: 0.0 seconds).

TitleP-Investigator
FAME: Formalizing and Managing Evolution in Model-Driven EngineeringEgly, Uwe
Quantified Boolean FormulasEgly, Uwe