Special

Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

Search by property

A list of all pages that have property "Job prerequisites" with value "This internship targets students who: * have some experience in C++ programming and Unix development (experience with git and emacs would be a welcome bonus) * like to write clean and useful code (Spot is an open-source library used by other projects) * like to optimize * would like do get familiar with the amazing world of SAT-solvers and Büchi automata.". Since there have been only a few results, also nearby values are displayed.

Showing below up to 2 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

    

List of results

    • Jobs/M2 2015 ADL SAT-based Minimization  + (This internship targets students who: * ha … This internship targets students who:</br>* have some experience in C++ programming and Unix development (experience with git and emacs would be a welcome bonus)</br>* like to write clean and useful code (Spot is an open-source library used by other projects)</br>* like to optimize</br>* would like do get familiar with the amazing world of SAT-solvers and Büchi automata.g world of SAT-solvers and Büchi automata.)
    Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty"