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 261-280 of 1051 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
261Pinsker, Michael The two dichotomy conjectures for in nite domain CSPs are equivalentPräsentation Presentation2017
262Pinsker, Michael Double-shrinking pseudo-SiggersPräsentation Presentation2017
263Ciabattoni, Agata Logic-based process calculi: Gödel logic and beyondPräsentation Presentation2017
264Ciabattoni, Agata From hypersequents to parallel computation for intermediate logicsPräsentation Presentation2017
265Ciabattoni, Agata Goedel Logic: from Hypersequents to Parallel ComputationPräsentation Presentation2017
266Ciabattoni, Agata Proof-Theory for Non-Classical Logics: Sequent calculi and beyondPräsentation Presentation2017
267Kompatscher, Michael Cores of omega-categorical structuresPräsentation Presentation2017
268Kompatscher, Michael Completing edge-labelled graphs to metric spacesPräsentation Presentation2017
269Pinsker, Michael Equations in algebras from omega-categorical structuresPräsentation Presentation2017
270Lonsing, Florian ; Egly, Uwe Evaluating QBF Solvers: Quantifier Alternations MatterBericht Report2017
271Raidl, Günther Hybrid Metaheuristics for Optimization Problems in Public Bike Sharing SystemsBericht Report2017
272Kuznets, Roman Modal Calculi from Semantics: a Case StudyPräsentation Presentation2017
273Lonsing, Florian Parallel QBF Solving: State of the Art Techniques and Future PerspectivesPräsentation Presentation2017
274Baldi, Paolo ; Hofer, Matthias Discussion on Quantifier Fuzzyfication Mechanisms.Präsentation Presentation2017
275Lonsing, Florian An Introduction to QBF SolvingPräsentation Presentation2017
276Szeider, Stefan Get Satisfaction: Das Erfüllbarkeitsproblem in Theorie und PraxisPräsentation Presentation2017
277Raidl, Günther An Iterative Time-Bucket Refinement Algorithm for a Resource-Constrained Project Scheduling ProblemPräsentation Presentation2017
278Raidl, Günther Mixed Integer Programming Approaches for Resource-Constrained Project SchedulingPräsentation Presentation2017
279Kovacs, Laura Algebraic Reasoning for Program AnalysisPräsentation Presentation2017
280Weissenbacher, Georg Interpolation-based Model Checking and IC3Präsentation Presentation2017