{"id":"W2051096547","doi":"10.5555/2492708.2492867","title":"Non-solution implications using reverse domination in a modern SAT-based debugging environment","year":2012,"lang":"en","type":"article","venue":"","topic":"VLSI and Analog Circuit Testing","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Debugging; Pruning; Satisfiability modulo theories; Leverage (statistics); Bottleneck; Speedup; Solver; Parallel computing; Theoretical computer science; Computer engineering; Programming language; Embedded system; 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.002172836,0.0006447386,0.0004546859,0.001097584,0.0005897412,0.00113168,0.001420483,0.0008710054,0.003257868],"category_scores_gemma":[0.007620359,0.0004466597,0.0005943743,0.000851798,0.001096453,0.002359025,0.001710854,0.00136493,0.0003806707],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005581641,"about_ca_system_score_gemma":0.001304833,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001218025,"about_ca_topic_score_gemma":0.002407024,"domain_scores_codex":[0.9975238,0.001455023,0.00009665638,0.000253755,0.0005036991,0.0001669881],"domain_scores_gemma":[0.9922497,0.005676261,0.0004987446,0.0009457341,0.0004985475,0.0001309879],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0007944797,0.000670806,0.009407803,0.0004109896,0.00009705059,0.001242016,0.0007647998,0.2224643,0.08098097,0.07985473,0.005106906,0.5982052],"study_design_scores_gemma":[0.000109582,0.0001820069,0.0005739804,0.00004028903,0.00003958324,0.0004519701,0.00006255072,0.9351148,0.02562715,0.03402727,0.003743344,0.00002748553],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.09458789,0.0003003536,0.8971655,0.0006957306,0.00002851048,0.0001076268,0.0000668729,0.003636782,0.003410789],"genre_scores_gemma":[0.4235733,0.0001410307,0.5745044,0.0001917708,0.00002309821,0.00007050751,0.0001155579,0.0001891064,0.001191294],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003257868,"threshold_uncertainty_score":0.01149124,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03837461191040709,"score_gpt":0.2569260888373294,"score_spread":0.2185514769269223,"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."}}