Name Card

Full name Familienname, Vorname

Sebastiani, Roberto

Contributing Publications Mitbeteiligte Publikationen

All

Conference Papers

Author

Subject

Date issued

4 2000 - 2024

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

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Slivovsky, Friedrich ; Szeider, Stefan	Computing Resolution-Path Dependencies in Linear Time ,	Konferenzbeitrag Inproceedings	2012
	2		Gaspers, Serge ; Szeider, Stefan	Strong Backdoors to Nested Satisfiability	Konferenzbeitrag Inproceedings	2012
	3		Niemetz, Aina ; Preiner, Mathias ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin	Resolution-Based Certificate Extraction for QBF	Konferenzbeitrag Inproceedings	2012
	4		Eiter, Thomas ; Brewka, Gerhard ; Dao-Tran, Minh ; Fink, Michael ; Ianni, Giovambattista ; Krennwallner, Thomas	Combining Nonmonotonic Knowledge Bases with External Sources	Konferenzbeitrag Inproceedings	2009