 | Year | | Title | BibTeX cite key | |
|---|
 | Abdelwaheb, Basin, Podelski |
| |
| Afshordel, Hillenbrand, Weidenbach |
| |
| Ahrendt, Baumgartner, de Nivelle (ed.) |
| |
|
| |
| Anderson, Basin |
| |
|
| |
| Areces, de Rijke, de Nivelle |
| |
| Argon, Delzanno, Mukhopadhyay, Podelski |
| |
| Autexier |
| |
| Avenhaus, Hillenbrand, Löchner |
| |
| Ayari |
| |
|
| |
| Baader, Ohlbach |
| |
|
| |
| Bachmair, Ganzinger |
| |
| Bachmair, Ganzinger, Lynch, Snyder |
| |
| Bachmair, Ganzinger, Stuber |
| |
| Bachmair, Ganzinger, Voronkov |
| |
| Bachmair, Ganzinger, Waldmann |
| |
|
| |
| Backes, Wetzel |
| |
|
| |
| Barnett, Basin, Hesketh |
| |
|
| |
| Barth, Bockmayr |
| |
| Barth, Kleine Büning, Weidenbach |
| |
| Basin |
| |
|
| |
| Basin, Bundy, Kraan, Matthews |
| |
|
| |
| Basin, Friedrich |
| |
|
| |
| Basin, Giunchiglia, Kaufmann (ed.) |
| |
| Basin, Giunchiglia, Traverso |
| |
| Basin, Howe |
| |
|
| |
| Basin, Klarlund |
| |
|
| |
| Basin, Matthews |
| |
|
| |
| Basin, Walsh |
| |
|
| |
| Baumgartner, Burchardt |
| |
| Baumgartner, Fuchs, Tinelli |
| |
| Baumgartner, Furbach |
| |
| Baumgartner, Furbach, Gross-Hardt, Kleemann |
| |
| Baumgartner, Furbach, Gross-Hardt, Sinner |
| |
| Baumgartner, Furbach, Yahya |
| |
| Baumgartner, Grabowski, Oevel, Melis |
| |
|
| |
| Baumgartner, Suchanek |
| |
|
| |
| Becker |
| |
|
| |
| Bertling, Ganzinger, Schäfers, Nieuwenhuis, Orejas |
| |
| Beyer, Henzinger, Majumdar, Rybalchenko |
| |
| Bezem, Hendriks, de Nivelle |
| |
|
| |
| Blanchet, Podelski |
| |
|
| |
| Bockmayr, Barth, Kasper |
| |
| Bockmayr, Brzoska, Deussen, Varsek |
| |
| Bockmayr, Dimopoulos |
| |
|
| |
| Bockmayr, Eisenbrand, Hartmann, Schulz |
| |
|
| |
| Bockmayr, Krischer, Werner |
| |
|
| |
| Bockmayr, Weispfenning |
| |
|
| |
| Booth |
| |
|
| |
| Bozzano, Delzanno, Martelli, Mascardi, Zini |
| |
|
| |
| Brahm |
| |
|
| |
| Brinker |
| |
|
| |
| Brink, Gabbay, Ohlbach |
| |
|
| |
| Buchmann, Eisenbrand |
| |
| Bugliesi, Delzanno, Liquori, Martelli |
| |
| Bundy, Lombart |
| |
| Cantu, Bundy, Smaill, Basin |
| |
| Chadha, Plaisted |
| |
|
| |
| Charatonik, Amadio |
| |
| Charatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot |
| |
| Charatonik, Georgieva, Maier |
| |
| Charatonik, Gordon, Talbot |
| |
| Charatonik, McAllester, Niwinski, Podelski, Walukiewicz |
| |
| Charatonik, Mukhopadhyay, Podelski |
| |
| Charatonik, Podelski |
| |
| Charatonik, Podelski, Talbot |
| |
| Charatonik, Talbot |
| |
| Chaudhuri, Dimopoulos, Zaroliagis |
| |
| Christen |
| |
|
| |
| Claus, Hopf, Schwefel (ed.) |
| |
| Cook, Gotsman, Podelski, Rybalchenko, Vardi |
| |
| Cook, Podelski, Rybalchenko |
| |
| Cortier, Ganzinger, Jacquemard, Veanes |
| |
| Cunningham, Gabbay, Ohlbach |
| |
|
| |
| Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, Wirtz |
| |
|
| |
| Daum, Maus, Schirmer, Seghir |
| |
|
| |
| de Nivelle, Areces, de Rijke |
| |
| de Nivelle, Baumgartner, Fuchs, Tinelli |
| |
| de Nivelle, Bezem, Hendriks |
| |
| de Nivelle, Blackburn, Bos, Kohlhase |
| |
| de Nivelle, de Rijke |
| |
|
| |
| de Nivelle, Hustadt, Schmidt |
| |
|
| |
| de Nivelle, Meng |
| |
|
| |
| de Nivelle, Pratt-Hartmann |
| |
|
| |
| de Raedt, Jaeger, Lee, Mannila |
| |
| Degtyarev, Gurevich, Narendran, Veanes, Voronkov |
| |
| Delahaye, Jaume, Prevosto |
| |
|
| |
| Delzanno, Esparza, Podelski |
| |
| Delzanno, Galmiche, Martelli |
| |
| Delzanno, Podelski |
| |
|
| |
| Dimitrova |
| |
|
| |
| Dimopoulos, Magirou |
| |
| Dimopoulos, Magirou, Papadimitriou |
| |
| Domshlak, Hoffmann |
| |
| Dräge, Finkbeiner, Podelski |
| |
| Dubois, Jaume, Pons, Prevosto |
| |
|
| |
| Eisenbrand, Bockmayr |
| |
| Eisenbrand, Rinaldi, Ventura |
| |
| Eisenbrand, Rote |
| |
|
| |
| Eisinger, Nonnengart, Präcklein |
| |
|
| |
| Eisinger, Ohlbach, Präcklein |
| |
|
| |
| Esparza, Podelski |
| |
|
| |
| Fehrer, Hustadt, Jaeger, Nonnengart, Ohlbach, Schmidt, Weidenbach, Weydert |
| |
| Fermüller, Leitsch, Hustadt, Tammet |
| |
| Firozabadhi, van der Torre |
| |
|
| |
| Frank, Basin |
| |
|
| |
| Freiheit, Luuk, Münch, Sijanski, Zangl |
| |
| Freiheit, Münch, Schöttle, Sijanski, Zangl |
| |
| Freiheit, Zangl |
| |
|
| |
| Furbach, Ganzinger, Hasegawa, Kapur (ed.) |
| |
| Gabbay, Kruse, Nonnengart, Ohlbach (ed.) |
| |
| Gabbay, Ohlbach |
| |
|
| |
| Gaede |
| |
| Gaillourdet, Hillenbrand, Löchner, Spies |
| |
| Gamkrelidze |
| |
|
| |
| Ganzinger (ed.) |
| |
|
| |
| Ganzinger, Hagen, Nieuwenhuis, Oliveras, Tinelli |
| |
| Ganzinger, Hillenbrand, Waldmann |
| |
| Ganzinger, Hustadt, Meyer, Schmidt |
| |
| Ganzinger, Jacquemard, Veanes |
| |
| Ganzinger, Korovin |
| |
|
| |
| Ganzinger, McAllester, Voronkov (ed.) |
| |
|
| |
| Ganzinger, Meyer, Weidenbach |
| |
|
| |
| Ganzinger, Nieuwenhuis, Nivela |
| |
| Ganzinger, Sofronie-Stokkermans |
| |
| Ganzinger, Sofronie-Stokkermans, Waldmann |
| |
|
| |
| Ganzinger, Waldmann |
| |
| Georgieva, Hustadt, Schmidt |
| |
| Georgieva, Maier |
| |
|
| |
| Göbel, Maier |
| |
| Goncharov, Harizanov, Knight, Morozov, Romina |
| |
| Goranko, Hustadt, Schmidt, Vakarelov |
| |
|
| |
| Graf, Meyer |
| |
|
| |
| Gurevich, Veanes |
| |
| Hähnle, Kerber, Weidenbach |
| |
| Hagemann |
| |
|
| |
| Hanus, Josephs |
| |
|
| |
| Hillenbrand |
| |
|
| |
| Hillenbrand, Podelski, Topić |
| |
| Hillenbrand, Topic, Weidenbach |
| |
| Hoenicke, Maier |
| |
|
| |
| Hoffmann, Brafman |
| |
|
| |
| Hoffmann, Gomes, Selman |
| |
| Hoffmann, Porteous, Sebastia |
| |
| Hoffmann, Sabharwal, Domshlak |
| |
|
| |
| Hopf, Klawonn |
| |
|
| |
| Hustadt |
| |
|
| |
| Hustadt, Schmidt |
| |
| Hustadt, Schmidt, Weidenbach |
| |
| Iturrioz, Sofronie-Stokkermans |
| |
|
| |
| Jacobs, Sofronie-Stokkermans |
| |
|
| |
| Jacquemard, Meyer, Weidenbach |
| |
|
| |
| Jaeger, Mannila, Weydert |
| |
| Jaulin, Ratschan, Hardouin |
| |
| Jensen, Podelski |
| |
|
| |
| Johann, Socher-Ambrosius |
| |
|
| |
| Kasper |
| |
|
| |
| Kazakov, de Nivelle |
| |
|
| |
| Korovin |
| |
|
| |
| Kraan, Basin, Bundy |
| |
|
| |
| Krishna Rao |
| |
| Krishna Rao, Shyamasundar |
| |
| Kupferschmid, Hoffmann, Dierks, Behrmann |
| |
| Lang, van der Torre, Weydert |
| |
| Lee |
| |
|
| |
| Letz, Stenz |
| |
|
| |
| Leven |
| |
|
| |
| Lilith, Billington, Freiheit |
| |
|
| |
| Lu, Wu |
| |
|
| |
| Madden, Bundy |
| |
|
| |
| Madden, Green |
| |
|
| |
| Makinson, van der Torre |
| |
| Malkis, Podelski, Rybalchenko |
| |
| Matthews |
| |
|
| |
| Matthews, Simpson |
| |
|
| |
| Meter |
| |
|
| |
| Meyer, Faber, Rybalchenko |
| |
|
| |
| Müller, Niehren, Podelski |
| |
|
| |
| Mukhopadhyay, Podelski |
| |
|
| |
| Nielson, Seidl |
| |
| Nieuwenhuis, Hillenbrand, Riazanov, Voronkov |
| |
| Nivat, Podelski |
| |
|
| |
| Nonnengart, Ohlbach |
| |
| Nonnengart, Ohlbach, Gabbay |
| |
| Nonnengart, Ohlbach, Szalas |
| |
| Nonnengart, Rock, Weidenbach |
| |
| Nonnengart, Szalas |
| |
|
| |
| Ohlbach |
| |
|
| |
| Ohlbach, Koehler |
| |
|
| |
| Ohlbach, Schmidt, Hustadt |
| |
|
| |
| Ohlbach, Weidenbach |
| |
|
| |
| Piskac |
| |
|
| |
| Pnueli, Podelski, Rybalchenko |
| |
|
| |
| Podelski (ed.) |
| |
|
| |
| Podelski, Charatonik, Müller |
| |
|
| |
| Podelski, Rybalchenko, Cook |
| |
| Podelski, Schaefer, Wagner |
| |
| Podelski, Smolka |
| |
|
| |
| Podelski, Wies |
| |
|
| |
| Prevosto, Boulmé |
| |
|
| |
| Rahman, Rückert, Fischmann |
| |
|
| |
| Ratschan, She |
| |
|
| |
| Ratschan, Vehi |
| |
|
| |
| Reinold |
| |
|
| |
| Rybalchenko |
| |
| Rybalchenko, Sofronie-Stokkermans |
| |
| Schäf |
| |
|
| |
| Schmidt |
| |
|
| |
| Schmidt, Orłowska, Hustadt |
| |
|
| |
| Schmidt, Tishkovsky, Hustadt |
| |
|
| |
| She, Ratschan |
| |
|
| |
| Simon, Freiheit, Olbrich |
| |
|
| |
| Socher-Ambrosius |
| |
|
| |
| Sofronie-Stokkermans, Stokkermans |
| |
|
| |
| Stuber |
| |
|
| |
| Talbot |
| |
|
| |
| Talbot, Niehren, Müller |
| |
| Thiebaux, Hoffmann, Nebel |
| |
| Timm |
| |
|
| |
| Tzakova |
| |
|
| |
| van der Torre, Tan |
| |
|
| |
| Veanes |
| |
|
| |
| Viganò |
| |
|
| |
| Vorobyov, Voronkov |
| |
|
| |
| Wagner, Podelski |
| |
|
| |
| Wang |
| |
|
| |
| Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić |
| |
| Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić |
| |
| Weidenbach, Gaede, Rock |
| |
| Weidenbach, Meyer, Cohrs, Engel, Keen |
| |
| Werner, Bockmayr, Krischer |
| |
|
| |
| Weydert, Brewka, Witteveen (ed.) |
| |
|
| |
| Wies |
| |
| Wies, Kuncak, Lam, Podelski, Rinard |
| |
| Wu |
| |
|
| |
| Wu, Lu |
| |
|
| |
| Xia, Yang |
| |
| Yoshida, Bundy, Green, Walsh, Basin |
| |
| Yuan, Billington, Freiheit |
| |
|
| |
