The following pages link to Toni Mancini (Q1020488):
Displaying 16 items.
- Evaluating ASP and commercial solvers on the CSPLib (Q1020490) (← links)
- Exploiting functional dependencies in declarative problem specifications (Q1028967) (← links)
- On minimising the maximum expected verification time (Q1675917) (← links)
- On checking equivalence of simulation scripts (Q2035653) (← links)
- Automated reformulation of specifications by safe delay of constraints (Q2457622) (← links)
- Generalizing consistency and other constraint properties to quantified constraints (Q2946575) (← links)
- Combining relational algebra, <i>SQL</i>, constraint modelling, and local search (Q3430664) (← links)
- (Q3624142) (← links)
- Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts* (Q4589243) (← links)
- SyLVaaS: System Level Formal Verification as a Service* (Q4589244) (← links)
- (Q4737131) (← links)
- (Q5013880) (← links)
- MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks* (Q5140144) (← links)
- Logics in Artificial Intelligence (Q5394159) (← links)
- AI*IA 2005: Advances in Artificial Intelligence (Q5475741) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705929) (← links)
