To Encode or to Propagate? The Best Choice for Each Constraint in SAT-Reference-Cited by-同舟云学术

To Encode or to Propagate? The Best Choice for Each Constraint in SAT

Published:2013 Issue: Volume: Page:97-106
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,Stuckey Peter J.

Publisher

Springer Berlin Heidelberg

Link

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

Reference20 articles.

1. Anbulagan, Grastien, A.: 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. Abío, I., Nieuwenhuis, R., Oliveras, A., Rodríguez-Carbonell, E., Mayer-Eichberger, V.: A new look at bdds for pseudo-boolean constraints. J. Artif. Intell. Res (JAIR) 45, 443–480 (2012)

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

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

5. Lecture Notes in Computer Science;I. Abío,2012

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

1. Propagation complete encodings of smooth DNNF theories;Constraints;2022-06-03

2. Employee Scheduling With SAT-Based Pseudo-Boolean Constraint Solving;IEEE Access;2021

3. Boosting Answer Set Optimization with Weighted Comparator Networks;Theory and Practice of Logic Programming;2020-05-11

4. On CNF Encodings of Decision Diagrams;Integration of AI and OR Techniques in Constraint Programming;2016

5. Explaining Producer/Consumer Constraints;Lecture Notes in Computer Science;2016