Albert-Ludwigs-Universität Freiburg, Deutschland

Organization Name (de) Name der Organisation (de)
Albert-Ludwigs-Universität Freiburg, Deutschland
 


Results 1-3 of 3 (Search time: 0.001 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
2Lode, A. U. J. ; Alon, O. E. ; Arnold, J. ; Bhowmik, Achintya ; Büttner, M. ; Cederbaum, L. S. ; Chatterjee, B. ; Chitra, R. ; Dutta, S. ; Georges, C. ; Hemmerich, A. ; Keßler, H. ; Klinder, J. ; Lévêque, C. ; Lin, R.; Molignini, P. ; Schäfer, F. ; Schmiedmayer, J. ; Žonda, M. Quantum simulators, phase transitions, resonant tunneling, and variances: A many-body perspectiveInproceedings Konferenzbeitrag2023
324_Angelic Checking within Static Driver Verifier Towards high_precision defects without (modeling) cost.pdf.jpgLahiri, Shuvendu K. ; Lal, Akash ; Gopinath, Sridhar ; Nutz, Alexander ; Levin, Vladimir ; Kumar, Rahul ; Deisinger, Nate ; Lichtenberg, Jakob ; Bansal, Chetan Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) costKonferenzbeitrag Inproceedings 2020