{"id":"W2049890507","doi":"10.1016/s0166-218x(00)00258-4","title":"Efficient algorithms on distributive lattices","year":2001,"lang":"en","type":"article","venue":"Discrete Applied Mathematics","topic":"Commutative Algebra and Its Applications","field":"Mathematics","cited_by":33,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Distributive property; Partially ordered set; Distributive lattice; Mathematics; Lattice (music); Congruence lattice problem; Gray code; Algorithm; Time complexity; Ideal (ethics); Exploit; Combinatorics; Discrete mathematics; Theoretical computer science; Computer science; Pure mathematics","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"],"consensus_categories":[],"category_scores_codex":[0.000348073,0.0003351739,0.0004123311,0.0000907077,0.000320435,0.00007495582,0.00040299,0.00009796183,0.0003075634],"category_scores_gemma":[0.0001457129,0.0002691347,0.0001133148,0.0003972625,0.000144433,0.00002766199,0.0001579565,0.0002543369,0.0005915848],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008129519,"about_ca_system_score_gemma":0.00002575254,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002751303,"about_ca_topic_score_gemma":0.000003602659,"domain_scores_codex":[0.9981537,0.00002208055,0.0004963775,0.0003758438,0.000463162,0.0004888454],"domain_scores_gemma":[0.9976339,0.001053649,0.0002692534,0.0008053934,0.00009104982,0.0001468036],"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.0000187053,0.0005051942,0.00001015021,0.00006600467,0.00006613166,0.000005081145,0.001599632,0.00008490657,0.0005927708,0.9930714,0.001304876,0.002675165],"study_design_scores_gemma":[0.0009806891,0.0001231914,0.000244966,0.0001031301,0.0001954162,0.00002292723,0.003525641,0.01933812,0.003601828,0.9648353,0.006290745,0.0007380623],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3820599,0.00004411144,0.383646,0.0007931596,0.00009235922,0.001608251,0.0001836745,0.0005305089,0.2310421],"genre_scores_gemma":[0.938384,0.00001780263,0.06024846,0.0001549262,0.0001174308,0.0003460282,0.0000639284,0.00008006381,0.0005873914],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5563241,"threshold_uncertainty_score":0.9999761,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04540149450965496,"score_gpt":0.3291268513853606,"score_spread":0.2837253568757056,"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."}}