Pages that link to "Item:Q877840"
From MaRDI portal
The following pages link to Some computational aspects of DISTANCE SAT (Q877840):
Displaying 5 items.
- Minimal distance of propositional models (Q2322705) (← links)
- Implementing semantic merging operators using binary decision diagrams (Q2379333) (← links)
- Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One (Q3007689) (← links)
- The Next Whisky Bar (Q5740176) (← links)
- An abstract view on optimizations in propositional frameworks (Q6496423) (← links)
