Incremental algorithms for optimizing model computation based on partial instantiation

DOI10.1016/S0743-1066(96)00126-4MaRDI QIDQ4365062zbMATH OpenOpenAlexFDO

Authors Raymond T. Ng, Xiaomei Tian

Publication date 17 March 1998

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0743-1066(96)00126-4

zbMATH Keywords

mixed integer programming methods

Mathematics Subject Classification ID

Logic programming (68N17) Parallel algorithms in computer science (68W10)

Recommendations

• Incremental methods for optimizing partial instantiation
• Partial deduction in disjunctive logic programming
• scientific article; zbMATH DE number 5485263
• Optimized algorithms for incremental analysis of logic programs
• Efficient instance retrieval of subgoals for subsumptive tabled evaluation of logic programs

Cited in

(2)

• Incremental methods for optimizing partial instantiation
• An Incremental Model for Combinatorial Maximization Problems

This page was built for publication: Incremental algorithms for optimizing model computation based on partial instantiation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4365062)