Pages that link to "Item:Q2980963"
From MaRDI portal
The following pages link to Logical compactness and constraint satisfaction problems (Q2980963):
Displaying 7 items.
- Tight representation of logical constraints as cardinality rules (Q1300274) (← links)
- Generalized Davis-Putnam and satisfiability problems in mathematics (Q3577911) (← links)
- AC complement problems: Satisfiability and negation elimination (Q5055807) (← links)
- The Power of the Combined Basic Linear Programming and Affine Relaxation for Promise Constraint Satisfaction Problems (Q5138784) (← links)
- STACS 2004 (Q5309710) (← links)
- Constraint Satisfaction, Logic and Forbidden Patterns (Q5454246) (← links)
- CLAP: A New Algorithm for Promise CSPs (Q5885595) (← links)