{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004212198,0.0006656808,0.0009220028,0.0005384863,0.00129255,0.002644028,0.0008938015,0.001092126,0.005087772],"category_scores_gemma":[0.002794802,0.0007403903,0.002057449,0.001076105,0.001513678,0.002241438,0.001687828,0.001682533,0.0005621692],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001480397,"about_ca_system_score_gemma":0.001550167,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004797724,"about_ca_topic_score_gemma":0.006258632,"domain_scores_codex":[0.9990882,0.00010778,0.00004534836,0.000295192,0.0002228082,0.0002406435],"domain_scores_gemma":[0.9972263,0.002097067,0.0001774463,0.0002508387,0.0001449163,0.000103388],"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.002235245,0.0006528937,0.01383766,0.002876012,0.0006916421,0.003597811,0.002057513,0.3149492,0.07490348,0.3233978,0.04986952,0.2109312],"study_design_scores_gemma":[0.0004466203,0.0002868391,0.004553681,0.0001706491,0.000365767,0.002448312,0.001055238,0.3652476,0.04319303,0.5336048,0.0485099,0.0001175637],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6512881,0.001518137,0.2667053,0.006540816,0.0003775291,0.0007290501,0.005470526,0.003015672,0.06435482],"genre_scores_gemma":[0.8788221,0.0007334427,0.1000451,0.0009419522,0.000108664,0.0003629045,0.005136954,0.0003097837,0.0135391],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.005087772,"threshold_uncertainty_score":0.01702029,"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."}}