Abstract
In this paper, the notion of the Anticipatory Pruning Network (APN) is introduced and developed for the propositional part of the 2LP system; 2LP (Linear Programming and Logic Programming) is a constraint logic programming system which has been developed and implemented at the Logic Based System Lab at Brooklyn College/CUNY. Using the compilation of rules in the style of the Rete algorithm, the APN maps program clauses into a network. The APN prunes a search space by consistency checking and inconsistency propagation through the network and resets itself upon backtracking. The APN extends forward checking to continuous constraint domains. Overall, the benchmarks show the APN to be an effective forward checking mechanism for both discrete and continuous problem domains for Simplex based constraint solvers. In particular, the APN is an effective pruning method for constrained mixed integer, linear optimization problems.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
