Sfoglia per Autore
Evaluating search heuristics and optimization techniques in propositional satisfiability
2001-01-01 Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando; Zambonin, Davide
Dependent and Independent Variables in Propositional Satisfiability
2002-01-01 Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver
2003-01-01 Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando
Computing answer sets of a logic program via-enumeration of SAT certificates
2003-01-01 Lierler, Yuliya; Maratea, Marco
A SAT-based polynomial space algorithm for answer set programming
2004-01-01 Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs
2004-01-01 Lierler, Yuliya; Maratea, Marco
SAT-Based Answer Set Programming
2004-01-01 Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming
2005-01-01 Giunchiglia, Enrico; Maratea, Marco
The SAT-based Approach to Separation Logic
2005-01-01 Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming
2005-01-01 Giunchiglia, Enrico; Maratea, Marco
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels)
2005-01-01 Giunchiglia, Enrico; Maratea, Marco
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints
2005-01-01 Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
TSAT++: an Open Platform for Satisfiability Modulo Theories
2005-01-01 Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Idini, Massimo; Maratea, Marco
Efficient Decision Procedures for the Integration of Planning and Formal Verification in Advanced Systems
2006-01-01 Maratea, Marco
Solving Optimization Problems with DLL
2006-01-01 Giunchiglia, Enrico; Maratea, Marco
Answer Set Programming based on Propositional Satisfiability
2006-01-01 Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco
OPTSAT: A Tool for Solving SAT Related Optimization Problems
2006-01-01 Giunchiglia, Enrico; Maratea, Marco
Experimenting with Look-Back Heuristics for Hard ASP Programs
2007-01-01 Faber, Wolfgang; Leone, Nicola; Maratea, Marco; Ricca, Francesco
What should an ASP Solver output? A Multiple Position Paper
2007-01-01 Brain, Martin; Faber, Wolfgang; Maratea, Marco; Polleres, Axel; Schaub, Torsten; Schindlauer, Roman
Planning as Satisfiability with Preferences
2007-01-01 Giunchiglia, Enrico; Maratea, Marco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Evaluating search heuristics and optimization techniques in propositional satisfiability | 1-gen-2001 | Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando; Zambonin, Davide | |
Dependent and Independent Variables in Propositional Satisfiability | 1-gen-2002 | Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando | |
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver | 1-gen-2003 | Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando | |
Computing answer sets of a logic program via-enumeration of SAT certificates | 1-gen-2003 | Lierler, Yuliya; Maratea, Marco | |
A SAT-based polynomial space algorithm for answer set programming | 1-gen-2004 | Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco | |
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs | 1-gen-2004 | Lierler, Yuliya; Maratea, Marco | |
SAT-Based Answer Set Programming | 1-gen-2004 | Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco | |
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming | 1-gen-2005 | Giunchiglia, Enrico; Maratea, Marco | |
The SAT-based Approach to Separation Logic | 1-gen-2005 | Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco | |
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming | 1-gen-2005 | Giunchiglia, Enrico; Maratea, Marco | |
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) | 1-gen-2005 | Giunchiglia, Enrico; Maratea, Marco | |
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints | 1-gen-2005 | Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco | |
TSAT++: an Open Platform for Satisfiability Modulo Theories | 1-gen-2005 | Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Idini, Massimo; Maratea, Marco | |
Efficient Decision Procedures for the Integration of Planning and Formal Verification in Advanced Systems | 1-gen-2006 | Maratea, Marco | |
Solving Optimization Problems with DLL | 1-gen-2006 | Giunchiglia, Enrico; Maratea, Marco | |
Answer Set Programming based on Propositional Satisfiability | 1-gen-2006 | Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco | |
OPTSAT: A Tool for Solving SAT Related Optimization Problems | 1-gen-2006 | Giunchiglia, Enrico; Maratea, Marco | |
Experimenting with Look-Back Heuristics for Hard ASP Programs | 1-gen-2007 | Faber, Wolfgang; Leone, Nicola; Maratea, Marco; Ricca, Francesco | |
What should an ASP Solver output? A Multiple Position Paper | 1-gen-2007 | Brain, Martin; Faber, Wolfgang; Maratea, Marco; Polleres, Axel; Schaub, Torsten; Schindlauer, Roman | |
Planning as Satisfiability with Preferences | 1-gen-2007 | Giunchiglia, Enrico; Maratea, Marco |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile