Vés al contingut
Català
English
Español
Formulari de cerca
Cercar
Log-in
Quant a IIIA
Presentació
Història
Contribucions a l'inteligència artficial 1996 - 2001
Contributions to Artificial Intelligence 1986 - 1995
Ubicació
Treballa amb nosaltres
Departaments
Projectes
Projectes Actuals
Projectes finalitzats
Publicacions
Publications
Thesis
Persones
J. Argerlich
Personal actual
Personal anterior
Activitats
Seminaris
Conferències
Doctoral Consortium
Notícies
Transferència
25è aniversari
Esteu aquí
Home
>
Personal
>
J. Argerlich
J. Argerlich
J. Argerlich
Personal actual
Personal anterior
Email:
josep@sat.inesc-id.pt
Position:
Former PhD students
Publications
Projects
13 Publications
2018
Teresa Alsinet
,
J. Argerlich
,
Ramon Bejar
,
Francesc Esteva
,
Lluís Godo
;
A probabilistic author-centered model for Twitter discussions
.
IPMU 2018;
2018.
Download PDF
2012
Zhu Zhu,
Chu Min Li
,
Felip Manyà
,
J. Argerlich
;
A New Encoding from MinSAT into MaxSAT
.
CP 2012;
2012.
Download PDF
J. Argerlich
,
Alba Cabiscol
, Ines Lynce,
Felip Manyà
;
Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT
.
Multiple-Valued Logic and Soft Computing;
2012.
Download PDF
2011
J. Argerlich
,
Chu Min Li
,
Felip Manyà
,
Jordi Planes
;
Analyzing the Instances of the MaxSAT Evaluation
.
14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011;
2011.
Download PDF
J. Argerlich
,
Chu Min Li
,
Felip Manyà
,
Jordi Planes
;
Experimenting with the Instances of the MaxSAT Evaluation
.
14th International Conference of the Catalan Association for Artificial Intelligence;
2011.
Download PDF
2010
J. Argerlich
,
Alba Cabiscol
, Ines Lynce,
Felip Manyà
;
New Insights into Encodings from MaxCSP into Partial MaxSAT
.
40th IEEE International Symposium on Multiple-Valued Logic (ISMVL);
2010.
Download PDF
2009
J. Argerlich
,
Alba Cabiscol
, Ines Lynce,
Felip Manyà
;
Sequential Encodings from Max-CSP into Partial Max-SAT
.
12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009);
2009.
Download PDF
2008
J. Argerlich
,
Felip Manyà
;
A Preprocessor for Max-SAT Solvers
.
11th International Conference on Theory and Applications of Satisfiability Testing (SAT-2008);
2008.
Download PDF
J. Argerlich
,
Alba Cabiscol
, Ines Lynce,
Felip Manyà
;
Modelling Max-CSP as Partial Max-SAT
.
11th International Conference on Theory and Applications of Satisfiability Testing (SAT-2008);
2008.
Download PDF
J. Argerlich
,
Chu Min Li
,
Felip Manyà
,
Jordi Planes
;
The First and Second Max-SAT Evaluations
.
Journal on Satisfiability, Boolean Modeling and Computation;
2008.
Download PDF
2006
J. Argerlich
,
Felip Manyà
;
Exact Max-SAT solvers for over-constrained problems
.
Journal of Heuristics;
2006.
Download PDF
J. Argerlich
,
Xavier Domingo
,
Chu Min Li
,
Felip Manyà
,
J. Planes
;
Towards Solving Many-Valued MaxSAT
.
Proceedings, 36th International Symposium on Multiple-Valued Logics (ISMVL-2006), Singapore;
2006.
Download PDF
2005
J. Argerlich
,
Felip Manyà
;
Solving over-constrained problems with SAT technology
.
Lecture Notes in Computer Science;
2005.
Download PDF
No results found