Ordered binary decision diagrams
Logic Synthesis and Verification
Data structures for Boolean functions
Computational Discrete Mathematics
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Algorithms and heuristics in VLSI design
Experimental algorithmics
A model for integrating dialogue and the execution of joint plans
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A model for integrating dialogue and the execution of joint plans
ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
Computing argumentation in polynomial number of BDD operations: a preliminary report
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Hi-index | 0.00 |