{"id":"W2126182348","doi":"10.1007/978-3-319-09284-3_2","title":"Cores in Core Based MaxSat Algorithms: An Analysis","year":2014,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Maximum satisfiability problem; Cardinality (data modeling); Core (optical fiber); Algorithm; Computer science; Characterization (materials science); Satisfiability; Construct (python library); Theoretical computer science; Boolean function; Data mining","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.0008915026,0.0004375566,0.0005898063,0.002551758,0.0001582996,0.0004984572,0.001998386,0.0003027268,0.0001075721],"category_scores_gemma":[0.00006959821,0.0004231735,0.000164672,0.001744671,0.0004927776,0.0004815287,0.0003607771,0.0005633354,0.00002075895],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003176088,"about_ca_system_score_gemma":0.0004502613,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000916561,"about_ca_topic_score_gemma":0.0017096,"domain_scores_codex":[0.9965479,0.00005698443,0.00054728,0.001507154,0.0008493445,0.0004913172],"domain_scores_gemma":[0.9976203,0.0003542287,0.0002786049,0.001333848,0.0002165653,0.0001964621],"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":[0.000002917026,0.00001537985,0.002007466,0.000008367873,0.00001103352,0.00003247781,0.000201617,0.4908485,0.000009070126,0.00770627,0.000002970377,0.4991539],"study_design_scores_gemma":[0.0002658172,0.00009587195,0.00476263,0.00008293537,0.00002220946,0.00001101227,1.768421e-7,0.9816076,0.00007070604,0.01234653,0.0002573002,0.0004772181],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001278375,0.000046684,0.9972293,0.0004578882,0.0007658495,0.0002546271,0.000006108546,0.0001540795,0.0009576349],"genre_scores_gemma":[0.3354295,0.00001528912,0.6620719,0.002084594,0.0001880484,0.000008134829,0.0000353733,0.00002427946,0.0001428626],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4986767,"threshold_uncertainty_score":0.999822,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01988609502833124,"score_gpt":0.2570654343210831,"score_spread":0.2371793392927519,"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."}}