Institut für Logic and Computation

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192 - Institut für Logic and Computation
 
Code Kennzahl
E192
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 121-140 of 4996 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
121Ramaswamy-2023-Proven Optimally-Balanced Latin Rectangles with SAT-vor.pdf.jpgRamaswamy, Vaidyanathan Peruvemba ; Szeider, Stefan Proven Optimally-Balanced Latin Rectangles with SATInproceedings Konferenzbeitrag 22-Sep-2023
122Andriushchenko, Roman ; Bartocci, Ezio ; Češka, Milan ; Pontiggia, Francesco ; Sallinger, Sarah Sophie Deductive Controller Synthesis for Probabilistic HyperpropertiesInproceedings Konferenzbeitrag 15-Sep-2023
123Bernreiter, Michael ; König, Matthias From Qualitative Choice Logic to Abstract ArgumentationInproceedings Konferenzbeitrag 15-Sep-2023
124Rawson, Michael ; Wernhard, Christoph ; Zombori, Zsolt ; Bibel, Wolfgang Lemmas: Generation, Selection, ApplicationInproceedings Konferenzbeitrag 14-Sep-2023
125Freiman, Robert ; Bernreiter, Michael Truth and Preferences - A Game Approach for Choice LogicsPresentation Vortrag14-Sep-2023
126Eisenhofer-2023-Non-Classical Logics inSatisfiability Modulo Theories-vor.pdf.jpgEisenhofer, Clemens ; Alassaf, Ruba ; Rawson, Michael ; Kovács, Laura Non-Classical Logics in Satisfiability Modulo TheoriesInproceedings Konferenzbeitrag 14-Sep-2023
1272023-Chrisimos A useful Proof-of-Work for finding Minimal Dominating Set o...-ao.pdf.jpgChatterjee, Diptendu ; Banerjee, Prabal ; Subhra Mazumdar Chrisimos: A useful Proof-of-Work for finding Minimal Dominating Set of a graphPreprint Preprint 13-Sep-2023
128Depian-2023-Transitions in Dynamic Point Labeling-vor.pdf.jpgDepian, Thomas ; Li, Guangping ; Nöllenburg, Martin ; Wulms, Jules Transitions in Dynamic Point LabelingInproceedings Konferenzbeitrag 7-Sep-2023
129Aumayr, Lukas ; Moreno-Sanchez, Pedro ; Kate, Aniket ; Maffei, Matteo Breaking and Fixing Virtual Channels: Domino Attack and DonnerPresentation Vortrag6-Sep-2023
130Bjørner, Nikolaj ; Fazekas, Katalin On Incremental Pre-processing for SMTInproceedings Konferenzbeitrag 2-Sep-2023
131Coutelier, Robin ; Kovács, Laura ; Rawson, Michael ; Rath, Jakob SAT-Based Subsumption ResolutionInproceedings Konferenzbeitrag 2-Sep-2023
132Bhayat, Ahmed ; Schoisswohl, Johannes ; Rawson, Michael Superposition with Delayed UnificationInproceedings Konferenzbeitrag 2-Sep-2023
133Hozzova-2023-Program Synthesis inSaturation-vor.pdf.jpgHozzova, Petra ; Kovács, Laura ; Norman, Chase ; Voronkov, Andrei Program Synthesis in SaturationInproceedings Konferenzbeitrag 2-Sep-2023
134Bergougnoux, Benjamin ; Chekan, Vera ; Ganian, Robert ; Kanté, Mamadou M. ; Mnich, Matthias ; Oum, Sang-il ; Pilipczuk, Michał ; van Leeuwen, Erik Jan Space-Efficient Parameterized Algorithms on Graphs of Low ShrubdepthInproceedings Konferenzbeitrag 1-Sep-2023
135Xu, Zhenghua ; Zhang, Xudong ; Zhang, Hexiang ; Liu, Yunxin ; Zhan, Yuefu ; Lukasiewicz, Thomas EFPN: Effective medical image detection using feature pyramid fusion enhancementArticle Artikel Sep-2023
136Eiter, Thomas ; Geibinger, Tobias ; Oetsch, Johannes Contrastive Explanations for Answer-Set ProgramsInproceedings Konferenzbeitrag Sep-2023
137Brand, Cornelius ; Ganian, Robert ; Rocton, Mathis Teva New Complexity-Theoretic Frontiers of Tractability for Neural Network TrainingInproceedings Konferenzbeitrag Sep-2023
138Brand, Cornelius ; Ganian, Robert ; Röder Sebastian ; Schager Florian Fixed-Parameter Algorithms for Computing {RAC} Drawings of GraphsInproceedings Konferenzbeitrag Sep-2023
139Dreier-2023-Constraints-vor.pdf.jpgDreier, Jan ; Ordyniak, Sebastian ; Szeider, Stefan CSP beyond tractable constraint languagesArticle Artikel Sep-2023
140Bhore-2023-ACM Transactions on Spatial Algorithms and Systems-vor.pdf.jpgBhore, Sujoy ; Ganian, Robert ; Li, Guangping ; Nöllenburg, Martin ; Wulms, Jules Worbel: aggregating point labels into word cloudsArticle Artikel Sep-2023