Alba Cabiscol - Citegraph

Author Info

Name	Affiliation	Papers
ALBA CABISCOL	Dept. of Comp. Science, Universitat de LLeida, Jaume ü 69, 25001, LLeida, Spain	9
Collaborators	Citations	PageRank
9	31	3.86
Referers	Referees	References
60	131	101

Search Limit

100131

Publications (9 rows)

Collaborators (9 rows)

Referers (60 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT.	2	0.39	2012
Sequential Encodings from Max-CSP into Partial Max-SAT	4	0.42	2009
Generating Hard Instances for MaxSAT	1	0.36	2009
Regular Encodings from Max-CSP into Partial Max-SAT	2	0.42	2009
Encoding Max-CSP into Partial Max-SAT	5	0.48	2008
Modelling Max-CSP as partial Max-SAT	6	0.48	2008
Regular-SAT: A many-valued approach to solving combinatorial problems	4	0.42	2007
Minimal and Redundant SAT Encodings for the All-Interval-Series Problem	4	0.49	2002
Extending the Reach of SAT with Many-Valued Logics	3	0.39	2001

1