Michael Codish
AuthID: R-00G-D8B
1
TITLE: Complete Symmetry Breaking for Finite Models
AUTHORS: Marek Dančo; Mikoláš Janota; Michael Codish; João Jorge Araújo;
PUBLISHED: 2025, SOURCE: 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025 in Proceedings of the AAAI Conference on Artificial Intelligence, VOLUME: 39, ISSUE: 11
AUTHORS: Marek Dančo; Mikoláš Janota; Michael Codish; João Jorge Araújo;
PUBLISHED: 2025, SOURCE: 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025 in Proceedings of the AAAI Conference on Artificial Intelligence, VOLUME: 39, ISSUE: 11
INDEXED IN: 
Scopus
Scopus2
TITLE: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
AUTHORS: Michael Codish; Eijiro Sumii;
PUBLISHED: 2014, SOURCE: FLOPS, VOLUME: 8475
AUTHORS: Michael Codish; Eijiro Sumii;
PUBLISHED: 2014, SOURCE: FLOPS, VOLUME: 8475
INDEXED IN: 
DBLP
DBLP3
TITLE: Functional and Logic Programming
AUTHORS: Michael Codish; Eijiro Sumii;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science
AUTHORS: Michael Codish; Eijiro Sumii;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef