{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003198404,0.00007357576,0.00006917333,0.0001219881,0.000114605,0.00003495409,0.0001752049,0.00003353541,0.000006792256],"category_scores_gemma":[0.00001708638,0.00007532687,0.00002842742,0.0001949556,0.00001302487,0.0005990342,0.00005535594,0.00006184055,0.00002648855],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002037923,"about_ca_system_score_gemma":0.00003536301,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001197643,"about_ca_topic_score_gemma":0.00001139587,"domain_scores_codex":[0.9992651,0.00002621936,0.0001588497,0.0001778804,0.0001093536,0.0002626055],"domain_scores_gemma":[0.9995757,0.00004289971,0.00006050507,0.0002464789,0.00001227849,0.00006207608],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[4.55475e-7,0.000376207,0.1914814,0.0000263942,0.000008069183,0.000002556363,0.001777212,0.0316516,0.2101757,0.00701911,0.00009921921,0.557382],"study_design_scores_gemma":[0.0001745395,0.000005184479,0.06426413,0.00001894504,0.000003839563,0.00000503158,0.00001483734,0.9337176,0.001132254,0.0005208352,0.00003945726,0.000103373],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.111725,0.00003508051,0.887045,0.0003592202,0.00004022403,0.00009775208,4.85054e-7,0.00006335892,0.0006339014],"genre_scores_gemma":[0.9574957,0.000001084542,0.04221794,0.0002168822,0.00003283278,0.00001149243,0.000004013642,0.000004634907,0.00001543479],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.902066,"threshold_uncertainty_score":0.3071741,"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."}}