Locally Consistent Constraint Satisfaction Problems Manuel Bodirsky∗ Daniel Kr´al’†

Source URL: iti.mff.cuni.cz

Microsoft PowerPointLecture_06_Bearings_and_constraint_basics-print [Compatibility Mode]

Source URL: pcsl.mit.edu

Generation of test data structures using Constraint Logic Programming? Valerio Senni1 and Fabio Fioravanti2 1 2

Source URL: www.sci.unich.it

Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International

Source URL: yices.csl.sri.com

• Theoretical computer science
• Mathematical logic
• Automated theorem proving
• Mathematics
• Formal methods
• Logic in computer science
• Constraint programming
• Electronic design automation
• Conflict-Driven Clause Learning
• DPLL algorithm
• Boolean satisfiability problem
• Satisfiability modulo theories

An Algebra for Semantic Construction in Constraint-based Grammars Ann Copestake Computer Laboratory University of Cambridge New Museums Site Pembroke St, Cambridge, UK

Source URL: www.cl.cam.ac.uk

• Semantics
• Computational linguistics
• Generative linguistics
• Type theory
• Logic in computer science
• Head-driven phrase structure grammar
• Minimal recursion semantics
• Valency
• Dependency grammar
• Categorial grammar
• Structure
• Syntax

MiningZinc: A Modeling Language for Constraint-based Mining Tias Guns1 , Anton Dries1 , Guido Tack2 , Siegfried Nijssen1,3 and Luc De Raedt1 Department of Computer Science, KU Leuven {firstname.lastname}@cs.kuleuven.be 2

Source URL: inductiveconstraints.eu

Refinement  Type  Inference  via   Horn  Constraint  Optimization Kodai  Hashimoto and  Hiroshi  Unno (University  of  Tsukuba,  Japan) Our  Goal:  Path-­‐Sensitive  Prog

Source URL: www.cs.tsukuba.ac.jp

On the Optimality of Semidefinite Relaxations for Average-Case and Generalized Constraint Satisfaction Boaz Barak∗ Guy Kindler†

Source URL: www.boazbarak.org

Interference Constraint Graph – A New Specification for Mixed-Criticality Systems Pengcheng Huang, Pratyush Kumar, Nikolay Stoimenov, Lothar Thiele Computer Engineering and Networks Laboratory, ETH Zurich, 8092 Zurich,

Source URL: www.tik.ethz.ch

• Real-time computing
• Scheduling algorithms
• Scheduling
• Safety engineering
• Systems engineering
• Technology
• Mixed criticality
• Systems science
• Computing
• Fixed-priority pre-emptive scheduling
• Worst-case execution time
• Windows Task Scheduler

Event-B & Cloud Provers A. Iliasov D. Adjepon-Yamoah P. Stankaitis

Source URL: www.ai4fm.org

• Software
• Theoretical computer science
• Formal methods
• Logic in computer science
• Automated theorem proving
• Constraint programming
• Predicate logic
• Frama-C
• Satisfiability modulo theories
• TPTP
• Mereology
• SPASS