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: Ab=iacute=o:Ignasi
Contributed to:
2011Wrote 2 papers:
- SAT-2011-AbioDNS
- 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.