scientific article; zbMATH DE number 1420878

zbMATH Open1122.03306MaRDI QIDQ4944947FDOQ4944947

Authors: Daniele Mundici 

Publication date: 22 March 2000

Title of this publication is not available (Why is that?)

Recommendations

• Resolution for Max-SAT
• scientific article; zbMATH DE number 7591
• scientific article; zbMATH DE number 57852
• Investigation of maximum and minimum satisfiability problems using \(L\)-partition
• A Complete Calculus for Max-SAT

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Applications of game theory (91A80) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Many-valued logic (03B50) Combinatorial games (91A46) Complexity of computation (including implicit computational complexity) (03D15)

Cited In (3)

• Searching games with errors -- fifty years of coping with liars
• Title not available (Why is that?)
• The MaxSAT problem in the real-valued MV-algebra

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4944947)