Pages that link to "Item:Q2462633"
From MaRDI portal
The following pages link to On variable-weighted exact satisfiability problems (Q2462633):
Displaying 8 items.
- Estimating satisfiability (Q765341) (← links)
- Solving satisfiability problems using elliptic approximations. A note on volumes and weights (Q1861906) (← links)
- Metalevel algorithms for variant satisfiability (Q2413027) (← links)
- Weighted NP Optimization Problems: Logical Definability and Approximation Properties (Q4210135) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- The Monotone Satisfiability Problem with Bounded Variable Appearances (Q4963262) (← links)
- SOFSEM 2005: Theory and Practice of Computer Science (Q5711544) (← links)
- Faster 3-Coloring of Small-Diameter Graphs (Q5866453) (← links)