Pages that link to "Item:Q877840"
From MaRDI portal
The following pages link to Some computational aspects of DISTANCE SAT (Q877840):
Displaying 8 items.
- Simplified forms of computerized reasoning with distance semantics (Q545150) (← links)
- Boosting distance-based revision using SAT encodings (Q1679786) (← links)
- 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)
- Recent Advances in Constraints (Q5703899) (← links)
- The Next Whisky Bar (Q5740176) (← links)
- An abstract view on optimizations in propositional frameworks (Q6496423) (← links)