Minimal and Redundant SAT Encodings for the All-Interval-Series Problem-Reference-Cited by-同舟云学术

Minimal and Redundant SAT Encodings for the All-Interval-Series Problem

Published:2002 Issue: Volume: Page:139-144
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Alsinet T.,Béjar R.,Cabiscol A.,Fernàndez C.,Manyà F.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-36079-4_12

Reference6 articles.

1. H. H. Hoos. Stochastic Local Search-Methods, Models, Applications. PhD thesis, Department of Computer Science, Darmstadt University of Technology, 1998.

2. H. Kautz, Y. Ruan, D. Achlioptas, C. Gomes, B. Selman, and M. Stickel. Balance and filtering in structured satisfiable problems. In Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI’01, Seattle/WA, USA, 351–358. Morgan Kaufmann, 2001

3. C. M. Li, and Anbulagan. Heuristics based on unit propagation for satisfiability problems. In Proceedings of the International Joint Conference on Artificial Intelligence, IJCAI’97, Nagoya, Japan, 366–371. Morgan Kaufmann, 1997.

4. D. McAllester, B. Selman, and H. Kautz. Evidence for invariants in local search. In Proceedings of the 14th National Conference on Artificial Intelligence, AAAI’97, Providence/RI, USA, pages 321–326. AAAI Press, 1997.

5. D. Schuurmans and F. Southey. Local search characteristics of incomplete SAT procedures. In Proceedings of the 17th National Conference on Artificial Intelligence, AAAI-2000, Austin/TX, USA, pages 297–302. AAAI Press, 2000.

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

1. The Impact of Implied Constraints on MaxSAT B2B Instances;International Journal of Computational Intelligence Systems;2022-08-11

2. Constraint-directed search for all-interval series;Constraints;2016-12-15

3. Solving the all-interval series problem;Proceedings of the Fifth Symposium on Information and Communication Technology - SoICT '14;2014

4. Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables;Theory and Applications of Satisfiability Testing;2005