Optimization Methods for the Partner Units Problem-Reference-Cited by-同舟云学术

Optimization Methods for the Partner Units Problem

Published:2011 Issue: Volume: Page:4-19
ISSN:0302-9743
Container-title:Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
language:
Short-container-title:

Author:

Aschinger Markus,Drescher Conrad,Friedrich Gerhard,Gottlob Georg,Jeavons Peter,Ryabokon Anna,Thorstensen Evgenij

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21311-3_4

Reference18 articles.

1. Aschinger, M., Drescher, C., Friedrich, G., Gottlob, G., Jeavons, P., Ryabokon, A., Thorstensen, E.: Tackling the Partner Units Problem. Tech. Rep. RR-10-28, Computing Laboratory, University of Oxford (2010), available from the authors

2. Third International Answer Set Programming Competition 2011 (2011), https://www.mat.unical.it/aspcomp2011/

3. The Potsdam Answer Set Solving Collection, http://potassco.sourceforge.net/

4. COIN-OR CLP/CBC IP solver, http://www.coin-or.org/

5. IBM ILOG CPLEX IP solver, http://www.ibm.com/

Cited by 33 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Anticipating Accidents through Reasoned Simulation;Proceedings of the First International Symposium on Trustworthy Autonomous Systems;2023-07-11

2. A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming;Electronic Proceedings in Theoretical Computer Science;2022-08-04

3. Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems;Theory and Practice of Logic Programming;2022-06-30

4. Managing caching strategies for stream reasoning with reinforcement learning;Theory and Practice of Logic Programming;2020-09

5. Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More;Theory and Practice of Logic Programming;2020-09