External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The Solution of Discrete Constraint Problems using Boolean Models - The Use of Ternary Vectors for Parallel SAT-Solving

Christian Posthoff, Bernd Steinbach. The Solution of Discrete Constraint Problems using Boolean Models - The Use of Ternary Vectors for Parallel SAT-Solving. In Joaquim Filipe, Ana L. N. Fred, Bernadette Sharp, editors, ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1 - Artificial Intelligence, Valencia, Spain, January 22-24, 2010. pages 487-493, INSTICC Press, 2010.

Authors

Christian Posthoff

This author has not been identified. Look up 'Christian Posthoff' in Google

Bernd Steinbach

This author has not been identified. Look up 'Bernd Steinbach' in Google
runs on