A Tree Decomposition Based Approach to Solve Structured SAT Instances.

Djamal Habet, Lionel Paris, Cyril Terrioux

Browse the full ICTAI paper archive.