Search by property

From International Center for Computational Logic

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 "Publication text" with value "Norbert Manthey<br /> '''[[Misc3052|A Compact Encoding of Pseudo-Boolean Constraints into SAT]]''' <br />__NOTOC__KI 2012, Saarbrücken, Germany, September 2012<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Misc3052|Details]]". 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

    • A Compact Encoding of Pseudo-Boolean Constraints into SAT  + (Norbert Manthey<br /> '''[[Misc3052|A Compact Encoding of Pseudo-Boolean Constraints into SAT]]Norbert Manthey<br /> '''[[Misc3052|A Compact Encoding of Pseudo-Boolean Constraints into SAT]]''' <br />__NOTOC__KI 2012, Saarbrücken, Germany, September 2012<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Misc3052|Details]]isc3052|Details]])