Bjørner, Nikolaj

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
Bjørner, Nikolaj
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Rath, Jakob ; Bjørner, Nikolaj ; Kovacs, Laura ; Nutz, Alexander ; Sagiv, Mooly PolySAT - a word-level solver for large bitvectorsPresentation Vortrag1-Sep-2022