Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
View Statistics
Email Alert
RSS Feed
Book details
Publications
Publikationen
Show/Hide filters
Author
3
Egly, Uwe
1
Bacchus, Fahiem
1
Biere, Armin
1
Oetsch, Johannes
1
Seidl, Martina
1
Widl, Magdalena
Subject
1
QBF
1
QBF solving
1
strategy extraction
Date issued
3
2012 - 2019
Close filters
Filter:
Author:
Lonsing, Florian
Results 1-3 of 3 (Search time: 0.003 seconds).
RIS
EndNote
Bibtex
Send via email
Preview
Author(s)
Title
Type
Issue Date
1
Egly, Uwe
; Lonsing, Florian
; Oetsch, Johannes
Automated Benchmarking of Incremental SAT and QBF Solvers
Konferenzbeitrag
Inproceedings
2015
2
Lonsing, Florian
; Bacchus, Fahiem
; Biere, Armin
; Egly, Uwe
; Seidl, Martina
Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination
Konferenzbeitrag
Inproceedings
2015
3
Egly, Uwe
; Lonsing, Florian
; Widl, Magdalena
Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving
Konferenzbeitrag
Inproceedings
2013