Pages that link to "Item:Q5711544"
From MaRDI portal
The following pages link to SOFSEM 2005: Theory and Practice of Computer Science (Q5711544):
Displaying 8 items.
- Estimating satisfiability (Q765341) (← links)
- Exact algorithms for exact satisfiability and number of perfect matchings (Q958212) (← links)
- An algorithm for exact satisfiability analysed with the number of clauses as parameter (Q1045885) (← links)
- The image of weighted combinatorial problems (Q1179736) (← links)
- On variable-weighted exact satisfiability problems (Q2462633) (← links)
- (Q3109939) (← links)
- Weighted NP Optimization Problems: Logical Definability and Approximation Properties (Q4210135) (← links)
- Some graph optimization problems with weights satisfying linear constraints (Q5918487) (← links)