Theory and Applications of Satisfiability Testing (scientific article; zbMATH DE number 2239209)

From MaRDI portal

(Redirected from Theory and Applications of Satisfiability Testing (scientific article; zbMATH DE number 2239209))
Redirect page
Theory and Applications of Satisfiability Testing (scientific article; zbMATH DE number 2239209)

Jump to:navigation, search

Redirect to:

Worst case bounds for some NP-complete modified Horn-SAT problems

This page is empty. This page is not linked to a Wikibase item.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Theory_and_Applications_of_Satisfiability_Testing_(scientific_article;_zbMATH_DE_number_2239209)&oldid=109675454"