บทความวิจัยพ.ศ. 2559Alternative modeling schemes for propositional calculus problems พ.ศ. 2559 ติดต่อนักวิจัยแชร์ บันทึกเข้าสู่ระบบเพื่อบันทึกคำสำคัญMathematical programming0-1 integer programmingCNFLogical inferencePropositional logicงานวิจัยในหัวข้อใกล้เคียงProductive connective thinking scheme in mathematical problem solving พ.ศ. 2563A VNF modeling approach for verification purposes พ.ศ. 2562General basic 0-1 integer programming model for timetabling problems Universiti Malaysia Terengganu พ.ศ. 2559Local model checking algorithm based on mu-calculus with partial orders พ.ศ. 2560A Comparative Study of Identification Techniques for Fractional Models พ.ศ. 2556