共 50 条
- [32] Multi-Valued Problem Solvers 2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016), 2016, : 263 - 268
- [33] Multi-valued antidysenteric serum COMPTES RENDUS DES SEANCES DE LA SOCIETE DE BIOLOGIE ET DE SES FILIALES, 1908, 65 : 629 - 631
- [34] Multi-valued logic synthesis TWELFTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 1999, : 196 - 205
- [36] A Complete Multi-valued SAT Solver PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING-CP 2010, 2010, 6308 : 281 - +
- [38] Mixed Simulation of Multi-valued Models 2014 THEORETICAL ASPECTS OF SOFTWARE ENGINEERING CONFERENCE (TASE), 2014, : 146 - 153
- [39] CWA formalizations in multi-valued logics Journal of Computer Science and Technology, 2001, 16 : 263 - 269
- [40] Multi-valued model checking games AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2005, 3707 : 354 - 369