{"id":"W121484681","doi":"10.3233/sat190001","title":"Semidefinite Optimization Approaches for Satisfiability and Maximum-Satisfiability Problems","year":2005,"lang":"en","type":"article","venue":"Journal on Satisfiability Boolean Modeling and Computation","topic":"Complexity and Algorithms in Graphs","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Semidefinite programming; Semidefinite embedding; Satisfiability; Relaxation (psychology); Mathematics; Quadratically constrained quadratic program; Maximum cut; Linear programming; Large margin nearest neighbor; Mathematical optimization; Combinatorics; Computer science; Discrete mathematics; Quadratic programming; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004291086,0.002241384,0.001431425,0.001235165,0.0007449885,0.002554865,0.002355563,0.001658193,0.01004724],"category_scores_gemma":[0.008985318,0.001004769,0.001736865,0.001996575,0.002053334,0.004044949,0.002401141,0.007202327,0.001896036],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001698451,"about_ca_system_score_gemma":0.001482607,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001053536,"about_ca_topic_score_gemma":0.002115388,"domain_scores_codex":[0.9975292,0.001274613,0.0001062094,0.0002864421,0.0006660072,0.0001375186],"domain_scores_gemma":[0.9939443,0.004692768,0.0003209856,0.0003177517,0.0005664595,0.0001576089],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004023317,0.0001454528,0.0001626799,0.0004591538,0.00006895353,0.00008237411,0.0001371609,0.1509815,0.0008823097,0.7864858,0.01309147,0.04746297],"study_design_scores_gemma":[0.00001676169,0.00002659897,0.00004789318,0.00004684436,0.00001031028,0.00004658282,0.00004045877,0.3751034,0.0004466827,0.6171298,0.007069262,0.00001533525],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001545431,0.001405801,0.9809566,0.001068131,0.0001382141,0.00004469099,0.0001189589,0.00008232829,0.01463986],"genre_scores_gemma":[0.1986606,0.008938327,0.762917,0.001683399,0.001520906,0.0007968961,0.001105148,0.0005798416,0.0237979],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01004724,"threshold_uncertainty_score":0.03361142,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06582800461354198,"score_gpt":0.267172676926121,"score_spread":0.201344672312579,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}