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 × Germany
2 × USA
Collaborated with:
G.Parthasarathy K.Cheng L.Wang F.Brewer F.Lu K.Chen
Talks about:
solver (3) effici (3) constraint (2) circuit (2) search (2) learn (2) rtl (2) structur (1) strategi (1) sequenti (1)

Person: Madhu K. Iyer

DBLP DBLP: Iyer:Madhu_K=

Contributed to:

DAC 20052005
DATE 20052005
DAC 20042004

Wrote 4 papers:

DAC-2005-ParthasarathyICB #learning
Structural search for RTL with predicate learning (GP, MKI, KTC, FB), pp. 451–456.
DATE-2005-IyerPC #constraints #learning #performance #theorem proving
Efficient Conflict-Based Learning in an RTL Circuit Constraint Solver (MKI, GP, KTC), pp. 666–671.
DATE-2005-LuIPWCC #performance #satisfiability
An Efficient Sequential SAT Solver With Improved Search Strategies (FL, MKI, GP, LCW, KTC, KCC), pp. 1102–1107.
DAC-2004-ParthasarathyICW #constraints #performance #theorem proving
An efficient finite-domain constraint solver for circuits (GP, MKI, KTC, LCW), pp. 212–217.

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.