Toni Mancini

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5013880	2021-12-03	Paper
On checking equivalence of simulation scripts	2021-06-25	Paper
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks*	2020-12-14	Paper
SyLVaaS: System Level Formal Verification as a Service*	2017-11-09	Paper
Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts*	2017-11-09	Paper
On minimising the maximum expected verification time	2017-11-03	Paper
Generalizing consistency and other constraint properties to quantified constraints	2015-09-17	Paper
Exploiting functional dependencies in declarative problem specifications	2009-07-09	Paper
Evaluating ASP and commercial solvers on the CSPLib	2009-05-29	Paper
https://portal.mardi4nfdi.de/entity/Q3624142	2009-04-28	Paper
Automated reformulation of specifications by safe delay of constraints	2007-10-23	Paper
Combining relational algebra, SQL, constraint modelling, and local search	2007-03-23	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
AI*IA 2005: Advances in Artificial Intelligence	2006-06-27	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4737131	2004-08-11	Paper

This page was built for person: Toni Mancini