research
∙
07/30/2023
Artificial-Intelligence-Based Design for Circuit Parameters of Power Converters
Parameter design is significant in ensuring a satisfactory holistic perf...
research
∙
10/12/2011
Discovering Classes of Strongly Equivalent Logic Programs
In this paper we apply computer-aided theorem discovery technique to dis...
research
∙
06/24/2011