Name Card

Full name Familienname, Vorname
Nadel, Alexander
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen


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

PreviewAuthor(s)TitleTypeIssue Date
101_Anytime Algorithms for MaxSAT and Beyond.pdf.jpgNadel, Alexander Anytime Algorithms for MaxSAT and BeyondKonferenzbeitrag Inproceedings 2020
228_On Optimizing a Generic Function in SAT.pdf.jpgNadel, Alexander On Optimizing a Generic Function in SATKonferenzbeitrag Inproceedings 2020

Contributing Publications Mitbeteiligte Publikationen


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

PreviewAuthor(s)TitleTypeIssue Date
1Meel-2023-Distribution Testing The New Frontier for Formal Methods-vor.pdf.jpgMeel, Kuldeep Distribution Testing: The New Frontier for Formal MethodsKonferenzbeitrag Inproceedings Oct-2023