BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
2 × USA
Collaborated with:
F.A.Aloul I.L.Markov K.A.Sakallah I.Markov K.Sakallah
Talks about:
symmetri (3) instanc (3) difficult (2) presenc (2) solv (2) sat (2) backtrack (1) independ (1) boolean (1) solver (1)

Person: Arathi Ramani

DBLP DBLP: Ramani:Arathi

Contributed to:

DATE v1 20042004
DAC 20022002
SAT 20022002

Wrote 4 papers:

DATE-v1-2004-RamaniAMS #graph #independence #symmetry
Breaking Instance-Independent Symmetries in Exact Graph Coloring (AR, FAA, ILM, KAS), pp. 324–331.
DAC-2002-AloulRMS #satisfiability #symmetry
Solving difficult SAT instances in the presence of symmetry (FAA, AR, ILM, KAS), pp. 731–736.
SAT-2002-AloulRMS #satisfiability #symmetry
Solving difficult SAT instances in the presence of symmetry (FAA, AR, IM, KS), p. 23.
SAT-2002-AloulRMS1 #backtracking #named
PBS: A backtrack-search psuedo-Boolean solver and optimizer (FAA, AR, IM, KS), p. 37.
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.