Compiling finite linear CSP into SAT - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara. Compiling finite linear CSP into SAT. Constraints, 14(2):254-272, 2009. [doi]

The following publications are possibly variants of this publication:

Compiling Finite Linear CSP into SATNaoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara. cp 2006: 590-603 [doi]

A Compact and Efficient SAT-Encoding of Finite Domain CSPTomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara. sat 2011: 375-376 [doi]

Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation)Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara. sat 2012: 456-462 [doi]

runs on WebDSL