Publications Publikationen

Results 1-14 of 14 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Egly, Uwe ; Lonsing, Florian ; Oetsch, Johannes Automated Benchmarking of Incremental SAT and QBF SolversKonferenzbeitrag Inproceedings 2015
2Leitsch, Alexander ; Baaz, Matthias CERES in Many-Valued LogicsKonferenzbeitrag Inproceedings2005
3Fermüller, Christian ; Kosik, Robert Combining Supervaluation and Degree Based Reasoning Under VaguenessKonferenzbeitrag Inproceedings2006
4Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan Counting and Enumeration Problems with Bounded TreewidthKonferenzbeitrag Inproceedings 2010
5Lonsing, Florian ; Bacchus, Fahiem ; Biere, Armin ; Egly, Uwe ; Seidl, Martina Enhancing Search-Based QBF Solving by Dynamic Blocked Clause EliminationKonferenzbeitrag Inproceedings 2015
6Jakl, Michael ; Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan Fast Counting with Bounded TreewidthKonferenzbeitrag Inproceedings2008
7Antoniou, Grigoris ; Eiter, Thomas ; Wang, Kewen Forgetting for Defeasible LogicKonferenzbeitrag Inproceedings 2012
8Egly, Uwe ; Lonsing, Florian ; Widl, Magdalena Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF SolvingKonferenzbeitrag Inproceedings 2013
9Zwirchmayr, Jakob ; Knoop, Jens ; Kovacs, Laura r-TuBound: Loop Bounds for WCET Analysis (Tool Paper)Konferenzbeitrag Inproceedings 2012
10Eiter, Thomas ; Ortiz, Magdalena ; Šimkus, Mantas Reasoning Using KnotsKonferenzbeitrag Inproceedings2008
11Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel Towards Algorithmic Cut-IntroductionKonferenzbeitrag Inproceedings2012
12Savenkov, Vadim ; Pichler, Reinhard Towards Practical Feasibility of Core Computation in Data ExchangeKonferenzbeitrag Inproceedings 2008
13Blanc, Régis ; Gupta, Ashutosh ; Kovács, Laura ; Kragl, Bernhard Tree Interpolation in VampireKonferenzbeitrag Inproceedings 2013
14Ciabattoni, Agata ; Fermüller, Christian ; Metcalfe, George Uniform Rules and Dialogue Games for Fuzzy LogicsKonferenzbeitrag Inproceedings 2005