External Links

Cite Key

Statistics

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

PDF

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.

Prioritised Unit Propagation by Partitioning the Watch Lists

Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis. Prioritised Unit Propagation by Partitioning the Watch Lists. In Matti Järvisalo, Daniel Le Berre, editors, Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023. Volume 3545 of CEUR Workshop Proceedings, pages 14-34, CEUR-WS.org, 2023. [doi]

Authors

Benjamin Kaiser

This author has not been identified. Look up 'Benjamin Kaiser' in Google

Robert Clausecker

This author has not been identified. Look up 'Robert Clausecker' in Google

Michael Mavroskoufis

This author has not been identified. Look up 'Michael Mavroskoufis' in Google
runs on