Pages that link to "Item:Q2317509"
From MaRDI portal
The following pages link to New complexity results for Łukasiewicz logic (Q2317509):
Displayed 4 items.
- A computational status update for exact rational mixed integer programming (Q5918427) (← links)
- A computational status update for exact rational mixed integer programming (Q5925645) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)
- Safe and Verified Gomory Mixed-Integer Cuts in a Rational Mixed-Integer Program Framework (Q6202766) (← links)