Apr 25, 2024 · List of computer science publications by Daniele Pretolani.

Daniele PRETOLANI | Cited by 688 | of Università degli Studi di Modena e Reggio Emilia, Modena (UNIMO) | Read 45 publications | Contact Daniele PRETOLANI.

Curriculum(pdf) | Didattica | Pubblicazioni. mail: daniele.pretolani@unimore.it. tel: +390522522229. fax: +390522522609. Settore Scientifico Disciplinare

Daniele PRETOLANI. Professore Associato presso University of Modena and Reggio Emilia. Forlì. University of Modena and Reggio Emilia ...

Ogni piccola donazione mi aiuterà a raggiungere il mio obiettivo. Ho incluso le informazioni su AIL Associazione Italiana contro le Leucemie-linfomi e mieloma ...

Sede di Reggio Emilia: Viale A. Allegri 9, 42121 Reggio Emilia, Tel. 0522 523041 - Fax 0522 523045. © 2024 ...

Daniele Pretolani · Lives in Ravenna, Italy · From Ravenna, Italy · See more about Daniele. 󱘋.

Unique satisfiability for Horn sets can be solved in nearly linear time. CS-TR-92-5, Comput. Science Dept., University of Cincinnati (1992).

Pretolani, D.: Probability Logic and Optimization SAT: the PSAT and CPA Models. Presented at SAT 2002, Cincinnati, Ohio (May 2002), Accepted for publication in ...