| |
|
| |
In CCL '94: Proceedings of the First International Conference on Constraints in Computational Logics (1994), pp. 34-49.
|
| |
In MICAI 2009: Advances in Artificial Intelligence , Vol. 5845 (2009), pp. 360-371.
|
| |
ACM Comput. Surv., Vol. 38, No. 4. (2006), 12.
|
| |
In Artificial Intelligence: Methodology, Systems, and Applications (2008), pp. 380-384.
|
| |
In Theory and Applications of Satisfiability Testing (2005), pp. 235-250.
|
| |
Constraints, Vol. 14, No. 2. (1 June 2009), pp. 254-272.
|
| |
Journal on Satisfiability, Boolean Modeling and Computation, Vol. 2 (2006), pp. 1-26.
|
| |
In Principles and Practice of Constraint Programming – CP 2007 (2007), pp. 483-497.
|
| |
In Principles and Practice of Constraint Programming - CP 2005 (2005), pp. 827-831.
|
| |
In Theory and Applications of Satisfiability Testing - SAT 2009 , Vol. 5584 (2009), pp. 181-194.
|
| |
In Principles and Practice of Constraint Programming – CP 2007 (2007), pp. 815-822.
|
| |
Commun. ACM, Vol. 52, No. 8. (2009), pp. 76-82.
|
| |
Constraints, Vol. 9, No. 2. (1 April 2004), pp. 123-138.
|
| |
In Principles and Practice of Constraint Programming – CP 2000 (2000), pp. 441-456.
|
| |
Pattern Analysis and Machine Intelligence, IEEE Transactions on In Pattern Analysis and Machine Intelligence, IEEE Transactions on, Vol. 15, No. 5. (06 August 2002), pp. 514-521.
|
| |
Electronics and Communications in Japan (Part II: Electronics), Vol. 86, No. 3. (2003), pp. 35-46.
|
| |
In Theory and Applications of Satisfiability Testing (2005), pp. 467-474.
|
| |
In Design, Automation and Test in Europe, 2008. DATE '08 (14 March 2008), pp. 1268-1273.
|
| |
In Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, Vol. 12, No. 4. (19 April 2004), pp. 408-419.
|
| |
In Field-Programmable Custom Computing Machines, 1999. FCCM '99. Proceedings. Seventh Annual IEEE Symposium on (06 August 2002), pp. 308-309.
by P. K. Chan, M. J. Boyd, S. Goren, et al.K. Klenk, V. Kodavati, R. Kundu, M. Margolese, J. Sun, K. Suzuki, E. Thorne, X. Wang, J. Xu, M. Zhu
|
| |
In AAAI'05: Proceedings of the 20th national conference on Artificial intelligence (2005), pp. 467-474.
|
| |
Constraints, Vol. 14, No. 4. (1 December 2009), pp. 478-505.
|
| |
In DAC '08: Proceedings of the 45th annual Design Automation Conference (2008), pp. 149-154.
|
| |
Nature, Vol. 435, No. 7043. (08 June 2005), pp. 751-752.
|
| |
In Proc. Int. Workshop on SoC and MCSoC Design - IWSOC'2006, 4th Int. Conference on Advances in Mobile Computing and Multimedia - MoMM'2006 (2006), pp. 359-368.
|
| |
Field-Programmable Custom Computing Machines, 2001. FCCM '01. The 9th Annual IEEE Symposium on (02 May 2005), pp. 239-248.
|
| |
Field-Programmable Custom Computing Machines, Annual IEEE Symposium on In Field-Programmable Custom Computing Machines, 2002. Proceedings. 10th Annual IEEE Symposium on, Vol. 0 (06 January 2003), pp. 282-283.
|
| |
In Trends in Constraint Programming (May 2007), pp. 105-123.
|
| |
In 21st International Joint Conferences on Artificial Intelligence(IJCAI-09) Workshop on Configuration (2009)
|
| |
Artif. Intell. Eng. Des. Anal. Manuf., Vol. 17, No. 1. (2003), pp. 75-97.
|
| |
Journal of Automated Reasoning, Vol. 37, No. 1. (19 August 2006), pp. 45-66.
|
| |
|
| |
Formal Methods in Computer-Aided Design (2000), pp. 127-144.
|
| |
American Control Conference, 2003. Proceedings of the 2003 In American Control Conference, 2003. Proceedings of the 2003, Vol. 2 (2003), pp. 1685-1690.
|
| |
Discrete Event Systems, 2006 8th International Workshop on In Discrete Event Systems, 2006 8th International Workshop on (2006), pp. 137-142.
|
| |
ADVANCES IN COMPUTERS, Vol. 58 (2003), pp. 118-149.
|
| |
International Journal on Software Tools for Technology Transfer (STTT), Vol. 7, No. 2. (30 April 2005), pp. 156-173.
posted to sat by voronov
on 2008-05-16 09:17:51
as 
|
| |
Discrete Event Systems, 2006 8th International Workshop on In Discrete Event Systems, 2006 8th International Workshop on (2006), pp. 76-81.
|
| |
Automatic Control, IEEE Transactions on In Automatic Control, IEEE Transactions on, Vol. 39, No. 12. (1994), pp. 2398-2410.
|
| |
Automatic Control, IEEE Transactions on, Vol. 37, No. 12. (1992), pp. 1921-1935.
|
| |
Theory and Applications of Satisfiability Testing (2005), pp. 345-359.
|
| |
Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e In Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e (1990), pp. 428-439.
|
| |
Commun. ACM, Vol. 5, No. 7. (July 1962), pp. 394-397.
|
| |
In ECAI '92: Proceedings of the 10th European conference on Artificial intelligence (1992), pp. 359-363.
|
| |
In Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference (1996), pp. 1194-1201.
|
| |
In IJCAI (1997), pp. 1169-1177.
posted to sat by voronov
on 2008-01-29 14:19:05
as
|
| |
In Proceedings of the 22nd AAAI Conference on Artificial Intelligence ({AAAI-07}) (2007), pp. 305-310.
|
| |
Application of Concurrency to System Design, 2004. ACSD 2004. Proceedings. Fourth International Conference on In Application of Concurrency to System Design, 2004. ACSD 2004. Proceedings. Fourth International Conference on (2004), pp. 16-25.
|
| |
Theory and Applications of Satisfiability Testing In Theory and Applications of Satisfiability Testing (2005), pp. 61-75.
|
Search
