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 references" with value " * On the usage of a SAT-solver for minimization: https://www.lrde.epita.fr/~adl/dl/adl/baarir.15.lpar.pdf * For the present usage of SAT-based minimization in Spots: https://spot.lrde.epita.fr/satmin.html ". 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  + ( * On the usage of a SAT-solver for minimization: https://www.lrde.epita.fr/~adl/dl/adl/baarir.15.lpar.pdf * For the present usage of SAT-based minimization in Spots: https://spot.lrde.epita.fr/satmin.html )
    Retrieved from "https://www.lrde.epita.fr/wiki/Special:SearchByProperty/:Job-20references/*-20On-20the-20usage-20of-20a-20SAT-2Dsolver-20for-20minimization:-20https:-2F-2Fwww.lrde.epita.fr-2F~adl-2Fdl-2Fadl-2Fbaarir.15.lpar.pdf-0A*-20For-20the-20present-20usage-20of-20SAT-2Dbased-20minimization-20in-20Spots:-20https:-2F-2Fspot.lrde.epita.fr-2Fsatmin.html"