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

GRAPH-HOC 2026   International Journal on Applications of Graph Theory in Wireless Ad hoc Networks and Sensor Networks
Ei/Scopus-AI2A 2026   2026 IEEE 6th International Conference on Artificial Intelligence, Automation and Algorithms (AI2A 2026)
STACS 2027   Symposium on Theoretical Aspects of Computer Science
Ei/Scopus-ACEPE 2026   2026 3rd IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2026)
IJGTT 2026   International Journal of Game Theory and Technology
AAIML 2027   IEEE--2027 2nd International Conference on Advances in Artificial Intelligence and Machine Learning
IJCCMS 2026   International Journal of Chaos, Control, Modelling and Simulation
DEPLING 2023   International Conference on Dependency Linguistics
ACM-IMIC 2026   2026 International Conference on Intelligent Medicine and Image Computing (IMIC 2026)
ITCCMA 2026   13th International Conference on Information Technology, Control, Chaos, Modeling and Applications
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.