Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by user: haz || 34663 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

SAT 2024   The 27th International Conference on Theory and Applications of Satisfiability Testing
Ei/Scopus-AACIP 2024   2024 2nd Asia Conference on Algorithms, Computing and Image Processing (AACIP 2024)-EI Compendex
ICoCTA 2024   2024 4th International Conference on Control Theory and Applications
CCVPR 2024   2024 International Joint Conference on Computer Vision and Pattern Recognition (CCVPR 2024)
ICoCTA 2024   2024 4th International Conference on Control Theory and Applications
IEEE-Ei/Scopus-SGGEA 2024   2024 Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2024) -EI Compendex
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
AIAAT 2024   2024 5th International Conference on Artificial Intelligence Applications and Technologies
ICMLA 2024   23rd International Conference on Machine Learning and Applications
BDCAT 2024   IEEE/ACM Int’l Conf. on Big Data Computing, Applications, and Technologies
About Us | Contact Us | Data | Privacy Policy | Terms and Conditions
Partners: AI2's Semantic Scholar
This wiki is licensed under a Creative Commons Attribution-Share Alike 3.0 License.