CORE

🇺🇦   make metadata, not war

    2 research outputs found

    Regular Encodings from Max-CSP into Partial Max-SAT *

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    Abstract We define a number of origina
    CiteSeerX

    Encoding Max-CSP into Partial Max-SAT

    Author
      Publication venue
      'Institute of Electrical and Electronics Engineers (IEEE)'
      Publication date
      Field of study
      No full text
      Crossref
      corecore