13th International Satisfiability Modulo Theories Competition (SMT-COMP 2018): Rules and Procedures Matthias Heizmann University of Freiburg Germany

Source URL: smtcomp.sourceforge.net

• Theoretical computer science
• NP-complete problems
• Logic in computer science
• Constraint programming
• Electronic design automation
• Formal methods
• Satisfiability modulo theories
• Solver
• Benchmark
• Unsatisfiable core
• Lis

Selfless Interpolation for Infinite-State Model Checking? Tanja Schindler1 and Dejan Jovanovi´c2 1 University of Freiburg

Source URL: csl.sri.com

• Mathematics
• Theoretical computer science
• Mathematical logic
• Lemmas
• Model theory
• Interpolation
• Logic in computer science
• Craig interpolation
• Satisfiability modulo theories
• Farkas' lemma
• Quantifier elimination
• First-order logic

Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg

Source URL: smt-workshop.cs.uiowa.edu

• Software engineering
• Computer programming
• Computing
• Interpolation
• Video
• Video signal
• Craig interpolation
• Pure
• Foreach loop

12th International Satisfiability Modulo Theories Competition (SMT-COMP 2017): Rules and Procedures Matthias Heizmann University of Freiburg Germany

Source URL: smtcomp.sourceforge.net

• Theoretical computer science
• Computing
• NP-complete problems
• Logic in computer science
• Constraint programming
• Electronic design automation
• Formal methods
• Satisfiability modulo theories
• Solver
• Benchmark
• Unsatisfiable core
• Lis

University of FreiburgFreiburg . Germany Press Release University of Freiburg

Source URL: bioinf.uni-freiburg.de

Institute for Archaeological Studies Dep. Archaeology of the Roman Provinces Albert Ludwig University of Freiburg Call for Papers Ruling an Empire in a Changing World

Source URL: www.provroem.uni-freiburg.de

"Rethinking Europe from the Caribbean: Entanglements and Legacies" Albert-Ludwigs University of Freiburg, Germany Program Thursday, 12 April 2018 TIME VENUE: Building KGIII, Lecture Hall 3044

Source URL: caribbeanresearch.net

Molecular analysis of tagged Physcomitrella patens mutants Tanja Egener, José Granado, Hauke Holtorf, Jan M. Lucht, Stefan A. Rensing, Katja Schlink and Ralf Reski University of Freiburg, Plant Biotechnology, Sonnenstr.

Source URL: biology4.wustl.edu

DRAFT VERSION PLEASE DO NOT CITE WITHOUT CONSULTING AUTHORS ‘Leadership for Sustainable Environments’ - Conceptual Basis of the International M.Sc. Programme ‘Environmental Governance’ at the University of Freibu

Source URL: www.meg.uni-freiburg.de

arXiv:1705.07327v1 [cs.DS] 20 MayDynamic Analysis of the Arrow Distributed Directory Protocol in General Networks Abdolhamid Ghodselahi and Fabian Kuhn Department of Computer Science, University of Freiburg

Source URL: arxiv.org