A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints-Reference-Cited by-同舟云学术

A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints

Published:2013 Issue: Volume: Page:80-96
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Abío Ignasi,Nieuwenhuis Robert,Oliveras Albert,Rodríguez-Carbonell Enric

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-40627-0_9

Reference20 articles.

1. Anbulagan, A.G.: Importance of Variables Semantic in CNF Encoding of Cardinality Constraints. In: Bulitko, V., Beck, J.C. (eds.) Eighth Symposium on Abstraction, Reformulation, and Approximation, SARA 2009. AAAI (2009)

2. Lecture Notes in Computer Science;R. Asín,2009

3. Asín, R., Nieuwenhuis, R., Oliveras, A., Rodríguez-Carbonell, E.: Cardinality Networks: a theoretical and empirical study. Constraints 16(2), 195–221 (2011)

4. Achá, R.A., Nieuwenhuis, R.: Curriculum-based course timetabling with SAT and MaxSAT. Annals of Operations Research, 1–21 (February 2012)

5. Lecture Notes in Computer Science;O. Bailleux,2003

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

1. Efficient SMT-Based Network Fault Tolerance Verification;Formal Methods;2023

2. Reusing Comparator Networks in Pseudo-Boolean Encodings;2022 IEEE 34th International Conference on Tools with Artificial Intelligence (ICTAI);2022-10

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

4. The Sample Analysis Machine Scheduling Problem: Definition and comparison of exact solving approaches;Computers & Operations Research;2022-06

5. Coupling Different Integer Encodings for SAT;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2022