ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1309.3060
  4. Cited By
On SAT representations of XOR constraints
v1v2v3v4 (latest)

On SAT representations of XOR constraints

12 September 2013
Matthew Gwynne
O. Kullmann
ArXiv (abs)PDFHTML

Papers citing "On SAT representations of XOR constraints"

1 / 1 papers shown
Title
Towards a theory of good SAT representations
Towards a theory of good SAT representations
Matthew Gwynne
O. Kullmann
64
9
0
18 Feb 2013
1