A cardinality solver: More expressive constraints for free (Poster presentation)

Mark H. Liffiton; Jordyn C. Maglalang

doi:10.1007/978-3-642-31612-8_47

A cardinality solver: More expressive constraints for free (Poster presentation)

Mark H. Liffiton, Jordyn C. Maglalang

Illinois Wesleyan University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Theory and Applications of Satisfiability Testing, SAT 2012 - 15th International Conference, Proceedings
Pages	485-486
Number of pages	2
DOIs	https://doi.org/10.1007/978-3-642-31612-8_47
State	Published - 2012
Event	15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 - Trento, Italy Duration: Jun 17 2012 → Jun 20 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7317 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012
Country/Territory	Italy
City	Trento
Period	6/17/12 → 6/20/12

ASJC Scopus Subject Areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-642-31612-8_47

Cite this

Liffiton, M. H., & Maglalang, J. C. (2012). A cardinality solver: More expressive constraints for free (Poster presentation). In Theory and Applications of Satisfiability Testing, SAT 2012 - 15th International Conference, Proceedings (pp. 485-486). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7317 LNCS). https://doi.org/10.1007/978-3-642-31612-8_47

A cardinality solver: More expressive constraints for free (Poster presentation). / Liffiton, Mark H.; Maglalang, Jordyn C.
Theory and Applications of Satisfiability Testing, SAT 2012 - 15th International Conference, Proceedings. 2012. p. 485-486 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7317 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Liffiton, MH & Maglalang, JC 2012, A cardinality solver: More expressive constraints for free (Poster presentation). in Theory and Applications of Satisfiability Testing, SAT 2012 - 15th International Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7317 LNCS, pp. 485-486, 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, Trento, Italy, 6/17/12. https://doi.org/10.1007/978-3-642-31612-8_47

Liffiton MH, Maglalang JC. A cardinality solver: More expressive constraints for free (Poster presentation). In Theory and Applications of Satisfiability Testing, SAT 2012 - 15th International Conference, Proceedings. 2012. p. 485-486. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-31612-8_47

Liffiton, Mark H. ; Maglalang, Jordyn C. / A cardinality solver : More expressive constraints for free (Poster presentation). Theory and Applications of Satisfiability Testing, SAT 2012 - 15th International Conference, Proceedings. 2012. pp. 485-486 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{4727fa3c666848e185f82634311ab758,

title = "A cardinality solver: More expressive constraints for free (Poster presentation)",

author = "Liffiton, {Mark H.} and Maglalang, {Jordyn C.}",

year = "2012",

doi = "10.1007/978-3-642-31612-8_47",

language = "English",

isbn = "9783642316111",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "485--486",

booktitle = "Theory and Applications of Satisfiability Testing, SAT 2012 - 15th International Conference, Proceedings",

note = "15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 ; Conference date: 17-06-2012 Through 20-06-2012",

}

TY - GEN

T1 - A cardinality solver

T2 - 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012

AU - Liffiton, Mark H.

AU - Maglalang, Jordyn C.

PY - 2012

Y1 - 2012

UR - http://www.scopus.com/inward/record.url?scp=84864236458&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84864236458&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-31612-8_47

DO - 10.1007/978-3-642-31612-8_47

M3 - Conference contribution

AN - SCOPUS:84864236458

SN - 9783642316111

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 485

EP - 486

BT - Theory and Applications of Satisfiability Testing, SAT 2012 - 15th International Conference, Proceedings

Y2 - 17 June 2012 through 20 June 2012

ER -

A cardinality solver: More expressive constraints for free (Poster presentation)

Publication series

Conference

ASJC Scopus Subject Areas

Access to Document

Other files and links

Cite this