Efficiently Solving Bit-Vector Problems Using Model Checkers Andreas Fr¨ ohlich, Gergely Kov´asznai, Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria

Source URL: smt2013.fbk.eu

Lingeling and Friends at the SAT Competition 2011 Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria

Source URL: fmv.jku.at

Navigation System for Virtual Reality Visualization of Large-Scale Datasets Abstract This project involves the design and implementation of an interactive immersive virtual reality system allowing rapid high-resolution r

Source URL: www.urop.uci.edu

• Astronomy
• Outer space
• Planetary science
• Visualization
• Space science
• Observational astronomy
• Earth sciences graphics software
• Orbit
• Kepler
• Solar System
• Interactive visualization
• Planet

Star discrepancy bounds for (t, m, s)-nets and (t, s)-sequences Peter Kritzer Johannes Kepler University Linz Joint work with H. Faure (Marseille)

Source URL: www.mathematik.uni-kl.de

JOHANNES KEPLER ¨ UNIVERSITAT LINZ JKU

Source URL: fredrikj.net

Johannes Kepler Research Center Regensburg a Workshop of the DFG Research Group 570 “Algebraic Cycles and L-Functions” Regensburg/Leipzig “Algebraic cycles, motives and A1 -homotopy theory over general bases” Reg

Source URL: www.uni-regensburg.de

Polygone - Bausteine der Computergrafik Polygone - Bausteine der Computergrafik Schülerseminar Florian Buchegger Johannes Kepler Universität Linz

Source URL: www.matheseminar.jku.at

L INGELING and Friends Entering the SAT Challenge 2012 Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria This note describes our SAT solvers submitted to the SAT

Source URL: fmv.jku.at

RISC-Linz Research Institute for Symbolic Computation Johannes Kepler University A-4040 Linz, Austria, Europe Sixth International Symposium on

Source URL: www.risc.jku.at

• Theoretical computer science
• Mathematics
• Mathematical logic
• Automated theorem proving
• Logic in computer science
• Type theory
• Unification
• Logic programming
• Anti-unification
• Function
• HindleyMilner type system