Travelled to:1 × Hungary
1 × Ireland
1 × Italy
1 × Spain
2 × Canada
Collaborated with:E.Giunchiglia R.Brochenin A.Armando C.Castellini L.Pulina F.Ricca A.Tacchella D.Zambonin
Talks about:procedur (3) sat (3) constraint (2) techniqu (2) boolean (2) between (2) differ (2) combin (2) answer (2) decis (2)
Person: Marco Maratea
DBLP: Maratea:Marco
Contributed to:
201520122005
20042005
2001Wrote 6 papers:
- ICLP-2015-BrocheninM #reasoning #set
- Abstract Answer Set Solvers for Cautious Reasoning (RB, MM), pp. 179–190.
- ICLP-2012-MarateaPR #machine learning
- Applying Machine Learning Techniques to ASP Solving (MM, LP, FR), pp. 37–48.
- ICLP-2005-GiunchigliaM #on the #satisfiability #set
- On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) (EG, MM), pp. 37–51.
- SAT-2004-ArmandoCGM #constraints #difference #satisfiability
- A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints (AA, CC, EG, MM), pp. 166–173.
- SAT-J-2004-ArmandoCGM05 #constraints #difference #satisfiability
- A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints (AA, CC, EG, MM), pp. 16–29.
- IJCAR-2001-GiunchigliaMTZ #heuristic #optimisation #satisfiability
- Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability (EG, MM, AT, DZ), pp. 347–363.