Biere, Armin

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Biere, Armin
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen


Filter:
Author:  Szeider, Stefan

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

PreviewAuthor(s)TitleTypeIssue Date
1Fazekas-2023-IPASIR-UP User Propagators for CDCL-vor.pdf.jpgFazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin IPASIR-UP: User Propagators for CDCLInproceedings Konferenzbeitrag 9-Aug-2023

Contributing Publications Mitbeteiligte Publikationen


Filter:
Author:  Szeider, Stefan

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

PreviewAuthor(s)TitleTypeIssue Date
1Samer, Marko ; Szeider, Stefan Chapter 17. Fixed-Parameter TractabilityBuchbeitrag Book Contribution 2021