Pages that link to "Item:Q734870"

The following pages link to A new bounding procedure and an improved exact algorithm for the Max-2-SAT problem (Q734870):

Displaying 4 items.

• A new upper bound for Max-2-SAT: A graph-theoretic approach (Q616992) (← links)
• Incomplete inference for graph problems (Q1947627) (← links)
• Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
• An improved exact algorithm for least-squares unidimensional scaling (Q2375707) (← links)