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.

List of results

• Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework  + ('''Publication''' [[Publications/le-frioux.19.tacas|Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework]] … '''Publication''' [[Publications/le-frioux.19.tacas|Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework]] in ''Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19)''ction and Analysis of Systems (TACAS'19)'')

• Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework  +