{"id":"W2521729967","doi":"10.1016/j.dam.2016.09.008","title":"On semidefinite least squares and minimal unsatisfiability","year":2016,"lang":"en","type":"article","venue":"Discrete Applied Mathematics","topic":"Advanced Optimization Algorithms Research","field":"Mathematics","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal; Group for Research in Decision Analysis","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Mathematics; Conjunctive normal form; Satisfiability; Semidefinite programming; Semidefinite embedding; Positive-definite matrix; Quadratically constrained quadratic program; Combinatorics; Connection (principal bundle); Explained sum of squares; Discrete mathematics; Mathematical optimization; Quadratic programming","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.004739332,0.001825311,0.001827495,0.001321504,0.001275965,0.002461795,0.002982518,0.002229167,0.01176218],"category_scores_gemma":[0.03480344,0.001672353,0.001779012,0.002745059,0.005053042,0.007685465,0.004011606,0.007608817,0.001178512],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001530419,"about_ca_system_score_gemma":0.001604774,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002682988,"about_ca_topic_score_gemma":0.003321211,"domain_scores_codex":[0.9955096,0.002243769,0.0001625314,0.0008269825,0.001025,0.0002320189],"domain_scores_gemma":[0.9706219,0.02487825,0.0009911906,0.001700074,0.001505618,0.0003029841],"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.0002321074,0.0001929341,0.0009063174,0.0004177285,0.00011655,0.000212994,0.0004516521,0.1557192,0.001157777,0.7538438,0.02130671,0.06544211],"study_design_scores_gemma":[0.00002022114,0.00002050001,0.0000941877,0.0000266549,0.00001009738,0.00004328787,0.00004967207,0.1186498,0.0002444572,0.8796442,0.00118486,0.00001208613],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02058837,0.0008153377,0.9570554,0.003965441,0.0003127177,0.00008803195,0.0003730797,0.0003309967,0.01647063],"genre_scores_gemma":[0.5190096,0.002002054,0.4499548,0.003119756,0.001341352,0.0004298506,0.00234822,0.0009856349,0.02080871],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01176218,"threshold_uncertainty_score":0.03934836,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03465292663337363,"score_gpt":0.3217420098769667,"score_spread":0.2870890832435931,"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."}}