Subject Areas
Published Items by Year
Keywords
Currently Not Available
Colleague Collaboration
Author’s Latest Publications
- Book
Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings
- Luca Pulina,
- Martina Seidl,
- Leroy Chew,
- Marijn J. H. Heule,
- Vincent Vallade,
- Ludovic Le Frioux,
- Souheib Baarir,
- Julien Sopena,
- Vijay Ganesh,
- Fabrice Kordon,
- Nick Feng,
- Fahiem Bacchus,
- Randy Hickey,
- Fahiem Bacchus,
- Sibylle Möhle,
- Roberto Sebastiani,
- Armin Biere,
- Arijit Shaw,
- Kuldeep S. Meel,
- Jan-Hendrik Lorenz,
- Florian Wörz,
- Gilles Audemard,
- Loïc Paulevé,
- Laurent Simon,
- Maximilian Heisinger,
- Mathias Fleury,
- Armin Biere,
- Hidetomo Nabeshima,
- Katsumi Inoue,
- Stepan Kochemazov,
- Nathan Mull,
- Shuo Pang,
- Alexander Razborov,
- Maria Luisa Bonet,
- Jordi Levy,
- Marc Vinyals,
- Jan Elffers,
- Jan Johannsen,
- Jakob Nordström,
- Emre Yolcu,
- Xinyu Wu,
- Marijn J. H. Heule,
- Javier Larrosa,
- Emma Rollon,
- Chunxiao Li,
- Noah Fleming,
- Marc Vinyals,
- Toniann Pitassi,
- Vijay Ganesh,
- Durgesh Agrawal,
- Bhavishya,
- Kuldeep S. Meel,
- Friedrich Slivovsky,
- Stefan Szeider,
- Jeremias Berg,
- Fahiem Bacchus,
- Alex Poole,
- Yuval Filmus,
- Meena Mahajan,
- Gaurav Sood,
- Marc Vinyals,
- Alexis de Colnet,
- Daniel Le Berre,
- Pierre Marquis,
- Romain Wallon,
- Carlos Mencía,
- Joao Marques-Silva,
- Markus Hecher,
- Patrick Thier,
- Stefan Woltran,
- Thomas Seed,
- Andy King,
- Neil Evans,
- Martin Jonáš,
- Jan Strejček,
- Olaf Beyersdorff,
- Joshua Blinkhorn,
- Tomáš Peitl,
- Ankit Shukla,
- Friedrich Slivovsky,
- Stefan Szeider,
- Matthias Schlaipfer,
- Friedrich Slivovsky,
- Georg Weissenbacher,
- Florian Zuleger,
- Valentin Mayer-Eichberger,
- Abdallah Saffidine,
- Matthew Anderson,
- Zongliang Ji,
- Anthony Yang Xu,
- Milan Češka,
- Jiří Matyáš,
- Vojtech Mrazek,
- Tomáš Vojnar,
- Rüdiger Ehlers,
- Kai Treutler,
- Volker Wesling,
- Mikoláš Janota,
- António Morgado,
- Michał Karpiński,
- Marek Piotrów,
- Luca Pulina,
- Martina Seidl