Pages that link to "Item:Q4589092"

From MaRDI portal

← MaxSAT-based encodings for Group MaxSAT (Q4589092)

Jump to:navigation, search

The following pages link to MaxSAT-based encodings for Group MaxSAT (Q4589092):

Displaying 3 items.

Minimal sets on propositional formulae. Problems and reductions (Q1677431) (← links)
LMHS: A SAT-IP Hybrid MaxSAT Solver (Q2818041) (← links)
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (Q3453236) (← links)

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