Development of Halal Audit Information System (HAIS) and its Implementation Evaluation Based on Time-cost Trade-off Using Integer Linear Programming (ILP).
Iwan VananyDiesta Iva MaftuhahAdi SoeprijantoFaiz Rahman ArifinPublished in: IEEM (2018)
Keyphrases
- integer linear programming
- trade off
- information systems
- column generation
- energy saving
- inductive logic programming
- artificial immune system
- mathematical functions
- integer programming
- cost function
- special case
- cutting plane
- evolutionary algorithm
- symmetry breaking
- boolean satisfiability
- solving optimization problems
- boolean optimization