posted by user: haz || 33987 views || tracked by 3 users: [display]

SAT 2008 : Conference on Theory and Applications of Satisfiability Testing

FacebookTwitterLinkedInGoogle


Conference Series : Theory and Applications of Satisfiability Testing
 
Link: http://wwwcs.uni-paderborn.de/cs/ag-klbue/en/research/SAT08/sat08-main.php?disp=top
 
When May 12, 2008 - May 15, 2008
Where Guangzhou, P. R. China
Submission Deadline Jan 11, 2008
Categories    artificial intelligence
 

Call For Papers

post CFP here

Related Resources

Bioinspired Intelligent Algorithms 2021   Special Issue Bioinspired Intelligent Algorithms for Optimization, Modeling and Control: Theory and Applications
IJCAI 2022   31st International Joint Conference on Artificial Intelligence
CCTA 2022   6th IEEE Conference on Control Technology and Applications
CFMAI 2021   2021 3rd International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2021)
ICSTA 2022   4th International Conference on Statistics: Theory and Applications
EI-CFAIS 2021   2021 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2021)
SMCA 2022   International Conference on Strategic Models in Computing Applications
ICAART 2022   14th International Conference on Agents and Artificial Intelligence
SMT 2021   SMT 2021 -- 19th International Workshop on Satisfiability Modulo Theories
ISCAI 2021   2021 3rd International Symposium on Computing and Artificial Intelligence (ISCAI 2021)