|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Fazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin | Satisfiability Modulo User Propagators | Article Artikel  | 27-Dec-2024 |
| 2 |  | Dumergue, Mathieu ; Carpeggiani, Paolo Antonio ; Csizmadia, Tamás ; Danailov, Miltcho ; Demidovich, Alexander ; De Ninno, Giovanni ; Di Fraia, Michele ; Eng-Johnsson, Per ; Ertel, Dominik ; Fujise, Hikaru ; Fushitani, Mizuho ; Giannessi, Luca ; Gopalakrishna, Harshitha Nandiga ; Hishikawa, Akiyoshi ; Ibrahim, Heide ; Kühn, Sergei ; Légaré, François ; Luo, Yu ; Maroju, Praveen Kumar ; Mauritsson, Johan ; Moioli, Matteo ; Olofsson, Anna ; Peschel, Jasper ; Plekan, Oksana ; Pratt, Stephen T. ; Raimondi, Lorenzo ; Rebernik Ribič, Primož ; Saito, Shu ; Sansone, Giuseppe ; Shah, Ronak ; Simpson, Emma ; You, Daehyun ; Zangrando, Marco ; Callegari, Carlo ; Ueda, Kiyoshi ; Prince, Kevin C. | Wave-packet manipulation of He Rydberg states by a seeded free-electron laser | Article Artikel   | Dec-2024 |
| 3 |  | Coutelier, Robin ; Rath, Jakob ; Rawson, Michael ; Biere, Armin ; Kovacs, Laura | SAT solving for variants of first-order subsumption | Article Artikel | 11-Nov-2024 |
| 4 |  | Konrad, Alexander ; Scholl, Christoph | Symbolic Computer Algebra for Multipliers Revisited - It's All About Orders and Phases | Inproceedings Konferenzbeitrag | Oct-2024 |
| 5 |  | Biere, Armin ; Fazekas, Katalin ; Fleury, Mathias ; Froleyks, Nils | Clausal Equivalence Sweeping | Inproceedings Konferenzbeitrag | Oct-2024 |
| 6 |  | Biere, Armin ; Froleyks, Nils ; Preiner, Mathias | Hardware Model Checking Competition 2024 | Inproceedings Konferenzbeitrag | Oct-2024 |
| 7 |  | Coutelier, Robin ; Fleury, Mathias ; Kovacs, Laura | Lazy Reimplication in Chronological Backtracking | Inproceedings Konferenzbeitrag | 19-Aug-2024 |
| 8 | | Biere, Armin ; Fazekas, Katalin ; Fleury, Mathias ; Froleyks, Nils | Clausal Congruence Closure | Inproceedings Konferenzbeitrag | 19-Aug-2024 |
| 9 | | Billerbeck, Anna ; Bernath, Christiane ; Manz, Pia ; Deac, Gerda ; Held, Anne ; Winkler, Jenny ; Kök, Ali ; Ragwitz, Mario | Integrating district heating potentials into European energy system modelling: An assessment of cost advantages of renewable and excess heat | Article Artikel | Aug-2024 |
| 10 | | Fazekas, Katalin ; Pollitt, Florian ; Fleury, Mathias ; Biere, Armin | Certifying Incremental SAT Solving | Presentation Vortrag | 23-Jul-2024 |
| 11 | | Fazekas, Katalin ; Pollitt, Florian ; Fleury, Mathias ; Biere, Armin | Incremental Proofs for Bounded Model Checking | Inproceedings Konferenzbeitrag | 19-Jun-2024 |
| 12 | | Fazekas, Katalin ; Pollitt, Florian ; Fleury, Mathias ; Biere, Armin | Certifying Incremental SAT Solving | Inproceedings Konferenzbeitrag | 26-May-2024 |
| 13 | | Fushitani, Mizuho ; Fujise, Hikaru ; Hishikawa, Akiyoshi ; You, Daehyun ; Saito, Shu ; Luo, Yu ; Ueda, Kiyoshi ; Ibrahim, Heide ; Légaré, Francois ; Pratt, Stephen T. ; Eng-Johnsson, Per ; Mauritsson, Johan ; Olofsson, Anna ; Peschel, Jasper ; Simpson, Emma Rose ; Carpeggiani, Paolo Antonio ; Ertel, Dominik ; Maroju, Praveen Kumar ; Moioli, Matteo ; Sansone, Giuseppe ; Shah, Ronak ; Csizmadia, Tamás ; Dumergue, Mathieu ; Nandiga Gopalakrishna, Harshitha ; Kühn, Sergei ; Callegari, Carlo ; Danailov, Miltcho ; Demidovich, Alexander ; Raimondi, Lorenzo ; Zangrando, Marco ; De Ninno, Giovanni ; Di Fraia, Michele ; Giannessi, Luca ; Plekan, Oksana ; Rebernik Ribic, Primoz ; Prince, Kevin C. | Wave packet dynamics and control in excited states of molecular nitrogen | Article Artikel | 14-Mar-2024 |
| 14 | | Biere, Armin ; Faller, Tobias ; Fazekas, Katalin ; Fleury, Mathias ; Froleyks, Nils ; Pollitt, Florian | CaDiCaL 2.0 | Inproceedings Konferenzbeitrag | 2024 |
| 15 |  | Oswald, Sascha E. ; Angermann, Lisa ; Bogena, Heye R. ; Förster, Michael ; García‐García, Almudena ; Lischeid, Gunnar ; Paton, Eva Nora ; Altdorff, Daniel ; Attinger, Sabine ; Güntner, Andreas ; Hartmann, Andreas ; Hendricks Franssen, Harrie‐Jan ; Hildebrandt, Anke ; Kleinschmit, Birgit ; Orth, Rene ; Peng, Jian ; Ryo, Masahiro ; Schrön, Martin ; Wagner, Wolfgang ; Wagener, Thorsten | Hydrology on Solid Grounds? Integration Is Key to Closing Knowledge Gaps Concerning Landscape Subsurface Water Storage Dynamics | Article Artikel | 2024 |
| 16 |  | David, Romain ; Rybina, Arina ; Burel, Jean-Marie ; Heriche, Jean-Karim ; Audergon, Pauline ; Boiten, Jan-Willem ; Coppens, Frederik ; Crockett, Sara ; Exter, Katrina ; Fahrner, Sven ; Fratelli, Maddalena ; Goble, Carole ; Gormanns, Philipp ; Grantner, Tobias ; Grüning, Björn ; Gurwitz, Kim Tamara ; Hancock, John M. ; Harmse, Henriette ; Holub, Petr ; Juty, Nick ; Karnbach, Geoffrey ; Karoune, Emma ; Keppler, Antje ; Klemeier, Jessica ; Lancelotti, Carla ; Legras, Jean-Luc ; Lister, Allyson L. ; Longo, Dario Livio ; Ludwig, Rebecca ; Madon, Bénédicte ; Massimi, Marzia ; Matser, Vera ; Matteoni, Rafaele ; Mayrhofer, Michaela Th ; Ohmann, Christian ; Panagiotopoulou, Maria ; Parkinson, Helen ; Perseil, Isabelle ; Pfander, Claudia ; Pieruschka, Roland ; Raess, Michael ; Rauber, Andreas ; Richard, Audrey S. ; Romano, Paolo ; Rosato, Antonio ; Sánchez-Pla, Alex ; Sansone, Susanna-Assunta ; Sarkans, Ugis ; Serrano-Solano, Beatriz ; Tang, Jing ; Tanoli, Ziaurrehman ; Tedds, Jonathan ; Wagener, Harald ; Weise, Martin ; Westerhoff, Hans V. ; Wittner, Rudolf ; Ewbank, Jonathan ; Blomberg, Niklas ; Gribbon, Philip | “Be sustainable”: EOSC-Life recommendations for implementation of FAIR principles in life science data handling | Article Artikel | 1-Dec-2023 |
| 17 |  | Fazekas, Katalin ; Niemetz, Aina ; Preiner, Mathias ; Kirchweger, Markus ; Szeider, Stefan ; Biere, Armin | IPASIR-UP: User Propagators for CDCL | Inproceedings Konferenzbeitrag | 9-Aug-2023 |
| 18 |  | Bhandary, Shrajan ; Kuhn, Dejan ; Babaiee, Zahra ; Fechter, Tobias ; Benndorf, Matthias ; Zamboglou, Constantinos ; Grosu, Anca-Ligia ; Grosu, Radu | Investigation and benchmarking of U-Nets on prostate segmentation tasks | Article Artikel | Jul-2023 |
| 19 |  | Kaufmann, Daniela ; Biere, Armin | Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra | Article Artikel | Apr-2023 |
| 20 | | Lode, 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 perspective | Inproceedings Konferenzbeitrag | 2023 |
