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

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

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



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