About: Maximum satisfiability problem

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Problem in computational complexity theory

Property	Value
dbo:description	Problem in computational complexity theory (en)
dbo:wikiPageExternalLink	http://www.maxsat.udl.cat http://www.cs.tau.ac.il/~azar/Methods-Class6.pdf http://www.satisfiability.org/ http://www.nlsde.buaa.edu.cn/~kexu/benchmarks/max-sat-benchmarks.htm https://doc.lagout.org/science/0_Computer%20Science/2_Algorithms/Approximation%20Algorithms%20%5bVazirani%202010-12-01%5d.pdf https://web.archive.org/web/20060324162911/http:/www.iiia.csic.es/~maxsat06/
dbo:wikiPageWikiLink	dbr:Relaxed_intersection dbc:Combinatorial_optimization dbr:Constraint_satisfaction_problem dbr:Satisfiability_modulo_theories dbr:Expected_value dbc:Satisfiability_problems dbr:If_and_only_if dbr:Propositional_formula dbc:Logic_in_computer_science dbr:MAXEkSAT dbr:E_(mathematical_constant) dbr:Computational_complexity_theory dbr:3-satisfiability dbr:Branch_and_Bound dbr:Boolean_satisfiability_problem dbr:Metaheuristic dbr:Approximation_algorithm dbr:Conjunctive_normal_form dbr:Polynomial-time_approximation_scheme dbr:Satz_(SAT_solver) dbr:Linear_programming_relaxation dbr:Randomized_algorithm dbr:Method_of_conditional_probabilities dbr:2-satisfiability dbr:APX dbr:Decision_problem dbr:NP-complete dbr:NP-hard dbr:MAX-3SAT dbr:Constraint_satisfaction dbr:0-1_integer_programming dbr:MAX-2SAT dbr:Approximation_ratio dbr:Integer_linear_program dbr:Quantified_boolean_formula
dbp:wikiPageUsesTemplate	dbt:Sfn dbt:Citation dbt:Var dbt:Short_description
dct:subject	dbc:Combinatorial_optimization dbc:Satisfiability_problems dbc:Logic_in_computer_science
gold:hypernym	dbr:Problem
rdfs:label	Maximum satisfiability problem (en) Problema de satisfatibilidade máxima (pt)
owl:sameAs	yago-res:Maximum satisfiability problem freebase:Maximum satisfiability problem wikidata:Maximum satisfiability problem dbpedia-pt:Maximum satisfiability problem dbpedia-global:Maximum satisfiability problem
prov:wasDerivedFrom	wikipedia-en:Maximum_satisfiability_problem?oldid=1265876281&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Maximum_satisfiability_problem
is dbo:wikiPageRedirects of	dbr:Max_sat dbr:Maximum_Satisfiability_problem dbr:MAX-SAT dbr:MAX-W-SAT dbr:MAXSAT dbr:Solvers_for_MAX-SAT dbr:List_of_solvers_for_MAX-SAT
is dbo:wikiPageWikiLink of	dbr:Relaxed_intersection dbr:Branch_and_bound dbr:QMA dbr:MAXEkSAT dbr:Boolean_satisfiability_problem dbr:Approximation_algorithm dbr:Maximum_cut dbr:2-satisfiability dbr:Boolean_satisfiability_algorithm_heuristics dbr:Max_sat dbr:Maximum_Satisfiability_problem dbr:MAX-SAT dbr:MAX-W-SAT dbr:MAXSAT dbr:Solvers_for_MAX-SAT dbr:List_of_solvers_for_MAX-SAT
is foaf:primaryTopic of	wikipedia-en:Maximum_satisfiability_problem