Pages that link to "Item:Q689970"
From MaRDI portal
The following pages link to A fixed point operator for the generalised maximum satisfiability problem (Q689970):
Displaying 4 items.
- Design of a railway scheduling model for dense services (Q1024087) (← links)
- Probabilistic estimates for the generalized maximum satisfiability problem (Q1327226) (← links)
- Timescales of Boolean satisfiability solver using continuous-time dynamical system (Q2204452) (← links)
- Generalized satisfiability problems via operator assignments (Q5919560) (← links)