{"id":"W3112462397","doi":"10.23977/cpcs.2020.41003","title":"Procedure of Solving 3-SAT Problem by Combining Quantum Search Algorithm and DPLL Algorithm","year":2020,"lang":"en","type":"article","venue":"Computing Performance and Communication systems","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"DPLL algorithm; Algorithm; Quantum algorithm; Satisfiability; Quantum computer; Boolean satisfiability problem; Computer science; Simple (philosophy); Quantum sort; Qubit; Mathematics; Quantum; Theoretical computer science; Quantum error correction","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004830543,0.0001339596,0.0002317819,0.00006939699,0.0003783468,0.0002100412,0.0004297685,0.00006420443,0.000001456646],"category_scores_gemma":[0.00001236348,0.0001348722,0.0000207487,0.0003385967,0.0001009196,0.0004696791,0.0004248859,0.0002182098,0.000003335849],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001793327,"about_ca_system_score_gemma":0.00005480938,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003464294,"about_ca_topic_score_gemma":4.051365e-7,"domain_scores_codex":[0.9987895,0.0001293655,0.0004129385,0.0002702982,0.0002166533,0.0001812069],"domain_scores_gemma":[0.999056,0.0001069435,0.0002271076,0.0003336849,0.0001706885,0.0001055328],"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.000006437445,0.00005144612,0.01813335,0.0006250919,0.00004633982,6.006326e-7,0.01484511,0.005618639,0.00052677,0.004146065,0.0007734991,0.9552267],"study_design_scores_gemma":[0.0003568758,0.00008934238,0.002023499,0.0002645082,0.000004158393,0.00002894477,0.0007743719,0.9955787,0.0001404181,0.00001384153,0.0005808478,0.0001444825],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0862623,0.002393502,0.9095232,0.0008835946,0.0000782092,0.0003581442,0.000005131514,0.0001722789,0.0003236193],"genre_scores_gemma":[0.9175608,0.0006927422,0.08155715,0.000114723,0.00002116053,0.000006570478,0.0000172007,0.000009007425,0.0000207149],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9899601,"threshold_uncertainty_score":0.5499929,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01913256309218583,"score_gpt":0.2383248170325821,"score_spread":0.2191922539403963,"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."}}