# Uwe Egly

Affiliations:- TU Wien, Vienna, Austria

According to our database

Collaborative distances:

^{1}, Uwe Egly authored at least 85 papers between 1991 and 2022.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### Online presence:

#### On csauthors.net:

## Bibliography

2022

Proceedings of the 52. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2022, Informatik in den Naturwissenschaften, 26., 2022

2021

Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations.

Formal Methods Syst. Des., 2021

2020

Dagstuhl Reports, 2020

2019

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

2018

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

Proceedings of the Principles and Practice of Constraint Programming, 2018

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

Ann. Math. Artif. Intell., 2017

Proceedings of the Automated Deduction - CADE 26, 2017

2016

Dagstuhl Reports, 2016

CoRR, 2016

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

2015

RAIRO Theor. Informatics Appl., 2015

Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API.

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2014

ACM Trans. Comput. Log., 2014

Proceedings of the Mathematical Software - ICMS 2014, 2014

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation.

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving.

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2012

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Proceedings of the Software Language Engineering, 5th International Conference, 2012

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Proceedings of the Computational Models of Argument, 2012

2011

Proceedings of the Models in Software Engineering, 2011

2010

Künstliche Intell., 2010

Argument Comput., 2010

Proceedings of the Artificial Intelligence in Theory and Practice III, 2010

2009

CoRR, 2009

Constraints An Int. J., 2009

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

2008

A knowledge-based videotheodolite measurement system for object representation/monitoring.

Adv. Eng. Softw., 2008

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

Proceedings of the Logic Programming, 24th International Conference, 2008

2007

J. Artif. Intell. Res., 2007

2006

A Solver for QBFs in Nonprenex Form.

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2006, 2006

2005

Ann. Math. Artif. Intell., 2005

2003

Stud Logica, 2003

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

2002

Proceedings of the Automated Deduction, 2002

2001

ACM Trans. Comput. Log., 2001

Stud Logica, 2001

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results.

Proceedings of the Answer Set Programming, 2001

Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001

2000

Inf. Comput., 2000

CoRR, 2000

Implementing Default Reasoning Using Quantified Boolean Formulae.

Proceedings of the 14. Workshop Logische Programmierung, 2000

Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP.

Proceedings of the WLP 2000, 2000

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

Some Strengths of Nonmonotonic Reasoning.

Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

On Intuitionistic Proof Transformations, their Complexity, and Application to Constructive Program Synthesis.

Fundam. Informaticae, 1999

A Web-based Tutoring Tool for Calculating Default Logic Extensions.

Proceedings of WebNet 99, 1999

1998

Theor. Comput. Sci., 1998

Proceedings of the Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), 1998

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

JQuest: ein javabasiertes Designtool für elektronische Fragebogen im Internet.

Proceedings of the Interaktion im Web, 1998

Proceedings of the Computer Science Logic, 12th International Workshop, 1998

Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis.

Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

1997

Fundam. Informaticae, 1997

A Sequent Calculus for Intuitionistic Default Logic.

Proceedings of the Twelfth Workshop Logic Programming, 1997

Non-elementary Speed-ups in Proof Length by Different Variants of Classical Analytic Calculi.

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997

Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

Proceedings of the Automated Deduction, 1997

1996

J. Symb. Comput., 1996

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

Proceedings of the Progress in Artificial Intelligence, 1995

1994

Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

PhD thesis, 1994

1993

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

1992

Proceedings of the Logic Programming and Automated Reasoning, 1992

A Simple Proof for the Pigeonhole Formulae.

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991

Proceedings of the Proc. 7th Austrian Conference on Artificial Intelligence, 1991