Pages that link to "Item:Q5178991"

From MaRDI portal

← Compressing Propositional Refutations (Q5178991)

Jump to:navigation, search

The following pages link to Compressing Propositional Refutations (Q5178991):

Displaying 3 items.

Extracting unsatisfiable cores for LTL via temporal resolution (Q266863) (← links)
Resolution proof transformation for compression and interpolation (Q479815) (← links)
Efficiently checking propositional refutations in HOL theorem provers (Q1006729) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"