{"id":"W2163348426","doi":"10.3233/sat190036","title":"An Extended Semidefinite Relaxation for Satisfiability","year":2007,"lang":"en","type":"article","venue":"Journal on Satisfiability Boolean Modeling and Computation","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; Technische Universiteit Delft","keywords":"Semidefinite programming; Relaxation (psychology); Satisfiability; Semidefinite embedding; Mathematics; Class (philosophy); Extension (predicate logic); Combinatorics; Mathematical optimization; Discrete mathematics; Computer science; Quadratically constrained quadratic program; Quadratic programming; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.003139426,0.001176593,0.0006808022,0.0006043916,0.0005008402,0.001440107,0.001446137,0.000829313,0.007652834],"category_scores_gemma":[0.005826679,0.0006848325,0.001494183,0.0007514943,0.001518288,0.003031297,0.001696658,0.00481453,0.001217604],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008905915,"about_ca_system_score_gemma":0.001058935,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000764162,"about_ca_topic_score_gemma":0.001002585,"domain_scores_codex":[0.9980603,0.0007925613,0.00009871099,0.0003216534,0.0005706314,0.0001560873],"domain_scores_gemma":[0.9974511,0.001593683,0.0002024954,0.0003397709,0.0002981714,0.0001146938],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002454934,0.0002707979,0.0003099505,0.0005602697,0.00008496317,0.0003198697,0.0004373064,0.2281615,0.008291162,0.6438201,0.01154421,0.1059543],"study_design_scores_gemma":[0.00008458431,0.0002025038,0.0001850468,0.0001229076,0.00002907142,0.0002428544,0.00009984362,0.5554534,0.003486414,0.4162477,0.0237962,0.00004950831],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008588866,0.000247073,0.9736909,0.0006390642,0.0001150573,0.0001125013,0.0002222208,0.000197195,0.01618723],"genre_scores_gemma":[0.2224057,0.0008895507,0.7593737,0.0008429088,0.000429719,0.0005727907,0.001181858,0.0002906304,0.01401321],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007652834,"threshold_uncertainty_score":0.02560133,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04658219512101994,"score_gpt":0.3505630059101519,"score_spread":0.303980810789132,"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."}}