BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
R.Nieuwenhuis M.Deters P.J.Stuckey A.Oliveras E.Rodríguez-Carbonell
Talks about:
constraint (1) revisit (1) boolean (1) search (1) pseudo (1) solut (1) reduc (1) given (1) close (1) like (1)

Person: Ignasi Abío

DBLP DBLP: Ab=iacute=o:Ignasi

Contributed to:

SAT 20112011

Wrote 2 papers:

Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One (IA, MD, RN, PJS), pp. 273–286.
SAT-2011-AbioNOR #constraints #pseudo #revisited
BDDs for Pseudo-Boolean Constraints — Revisited (IA, RN, AO, ERC), pp. 61–75.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.