Mahesh A. Iyer. A Robust and Scalable Technique for the Constraints Solving Problem in High-Level Verification. In Fourth International Workshop on Microprocessor Test and Verification, Common Challenges and Solutions (MTV 2003), May 29-30, 2003, Hyatt Town Lake Hotel, Austin, Texas, USA. pages 95, IEEE Computer Society, 2003. [doi]
@inproceedings{Iyer03a, title = {A Robust and Scalable Technique for the Constraints Solving Problem in High-Level Verification}, author = {Mahesh A. Iyer}, year = {2003}, url = {http://csdl.computer.org/comp/proceedings/mtv/2003/2045/00/20450095abs.htm}, tags = {constraints}, researchr = {https://researchr.org/publication/Iyer03a}, cites = {0}, citedby = {0}, pages = {95}, booktitle = {Fourth International Workshop on Microprocessor Test and Verification, Common Challenges and Solutions (MTV 2003), May 29-30, 2003, Hyatt Town Lake Hotel, Austin, Texas, USA}, publisher = {IEEE Computer Society}, }