Abstract
This conference proceeding was published in Proceedings of the Annual Conference on Computational Science and Computational Intelligence.
Original language | American English |
---|---|
Title of host publication | Proceedings of the Annual Conference on Computational Science & Computational Intelligence |
State | Published - Dec 15 2017 |
Keywords
- Boolean Satisfiability
- Graph Algorithm Alternatives
- Integer Linear Programming
- Polynomial-Time Transformations
DC Disciplines
- Computer Sciences