International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)

View Statistics Email Alert RSS Feed

Description

Event name
International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)
 
Event type
Event for scientific audience
 
Start date
14-03-2005
End date
18-03-2005
 
Location
Montevideo, Uruguay
Montevideo, Uruguay
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Filter:
Subject:  QBF

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

PreviewAuthor(s)TitleTypeIssue Date
1Egly, Uwe ; Lonsing, Florian ; Widl, Magdalena Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF SolvingKonferenzbeitrag Inproceedings 2013