MaxSAT Resolution With the Dual Rail Encoding | Zendy

Marı́a Luisa Bonet | Zendy; Sam Buss | Zendy; Alexey Ignatiev | Zendy; João MarquesSilva | Zendy; António Morgado | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

MaxSAT Resolution With the Dual Rail Encoding

Author(s) -

Marı́a Luisa Bonet,

Sam Buss,

Alexey Ignatiev,

João MarquesSilva,

António Morgado

Publication year - 2018

Publication title -

proceedings of the aaai conference on artificial intelligence

Language(s) - English

Resource type - Journals

eISSN - 2374-3468

pISSN - 2159-5399

DOI - 10.1609/aaai.v32i1.12204

Subject(s) - maximum satisfiability problem , pigeonhole principle , resolution (logic) , reduction (mathematics) , computer science , conjunctive normal form , proof complexity , dpll algorithm , algorithm , propositional formula , dual (grammatical number) , theoretical computer science , discrete mathematics , mathematics , mathematical proof , programming language , propositional variable , philosophy , telecommunications , boolean function , linguistics , geometry , phase locked loop , intermediate logic , jitter , description logic

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research