{"id":"W2951523223","doi":"10.48550/arxiv.1305.6669","title":"Domino Tatami Covering is NP-complete","year":2013,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Domino; Combinatorics; Boolean satisfiability problem; Mathematics; Graph; Induced subgraph; NP-complete; Discrete mathematics; Computer science; Time complexity; Biology","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":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0004413499,0.0003688842,0.0003821467,0.0002796023,0.0001820808,0.0002677375,0.00327639,0.0003170762,0.0001687584],"category_scores_gemma":[0.00006582186,0.0004434323,0.000224089,0.0005320205,0.0001393684,0.0009365046,0.003191152,0.000688048,0.0009752557],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002887918,"about_ca_system_score_gemma":0.0001112754,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002872506,"about_ca_topic_score_gemma":0.000004118812,"domain_scores_codex":[0.9975913,0.0001993952,0.000322799,0.001295986,0.0001432741,0.0004473143],"domain_scores_gemma":[0.9967957,0.00009761292,0.0004171282,0.002305473,0.0001950872,0.0001890041],"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.00002778483,0.00009976737,0.002106773,0.0002632783,0.0001374942,0.0001416604,0.0008587,0.05251065,0.000612875,0.9346697,0.00210961,0.006461659],"study_design_scores_gemma":[0.000401442,0.00004313036,0.002788309,0.00006708688,0.000044925,0.00001151799,0.00003350173,0.9350069,0.0008069113,0.0480948,0.01196822,0.0007332323],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1280594,0.00003623877,0.8639918,0.00008238632,0.001154961,0.0003507937,0.00002361419,0.0003195665,0.005981273],"genre_scores_gemma":[0.8242542,0.0001076309,0.1723822,0.0003711127,0.00009869653,0.00000322802,0.00001269229,0.00002579266,0.002744449],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8865749,"threshold_uncertainty_score":0.9998026,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1406114371350478,"score_gpt":0.2112181318636684,"score_spread":0.07060669472862055,"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."}}