Authors: Itzhakov, Avraham^Aff8, Codish, Michael^Aff8

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Cire, Andre A., editor^Aff7

Superior Title: Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 20th International Conference, CPAIOR 2023, Nice, France, May 29 –June 1, 2023, Proceedings. 13884:133-149

Authors: Itzhakov, Avraham^{Aff1, IDs10601021093238_cor1}, Codish, Michael

Superior Title: Constraints: An International Journal. 27(1-2):8-28

Authors: Association for Artificial Intelligence 2024, Araújo, João, Chow, Choiwah Chow, Codish, Michael, Janota, Mikoláš, Vojtěchovský, Petr

Subject Terms: Artificial Intelligence

Availability: https://doi.org/10.48448/6jr2-8305
https://underline.io/lecture/91942-sat-based-techniques-for-lexicographically-smallest-finite-models-video

Authors: Janota, Mikoláš, Chow, Choiwah, Araújo, João, Codish, Michael, Vojtěchovský, Petr

Superior Title: Proceedings of the AAAI Conference on Artificial Intelligence; Vol. 38 No. 8: AAAI-24 Technical Tracks 8; 8048-8056 ; 2374-3468 ; 2159-5399

Subject Terms: CSO: Satisfiability, CSO: Constraint Satisfaction, CSO: Search, SO: Heuristic Search

File Description: application/pdf

Relation: https://ojs.aaai.org/index.php/AAAI/article/view/28643/29248; https://ojs.aaai.org/index.php/AAAI/article/view/28643/29249; https://ojs.aaai.org/index.php/AAAI/article/view/28643

Availability: https://doi.org/10.1609/aaai.v38i8.28643
https://ojs.aaai.org/index.php/AAAI/article/view/28643

Authors: Codish, Michael^Aff15, Ehlers, Thorsten^Aff16, Gange, Graeme^Aff17, Itzhakov, Avraham^Aff15, Stuckey, Peter J.^{Aff17, Aff18}

Contributors: Hutchison, David, Series Editor^Aff1, Kanade, Takeo, Series Editor^Aff2, Kittler, Josef, Series Editor^Aff3, Kleinberg, Jon M., Series Editor^Aff4, Mattern, Friedemann, Series Editor^Aff5, Mitchell, John C., Series Editor^Aff6, Naor, Moni, Series Editor^Aff7, Pandu Rangan, C., Series Editor^Aff8, Steffen, Bernhard, Series Editor^Aff9, Terzopoulos, Demetri, Series Editor^Aff10, Tygar, Doug, Series Editor^Aff11, Weikum, Gerhard, Series Editor^Aff12, Gallagher, John P., editor^Aff13, Sulzmann, Martin, editor^Aff14

Superior Title: Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings. 10818:182-197

Authors: Codish, Michael^Aff1, Miller, Alice^Aff2, Prosser, Patrick^Aff2, Stuckey, Peter J.^Aff3

Superior Title: Constraints: An International Journal. 24(1):1-24

Authors: Codish, Michael^Aff14, Gange, Graeme^Aff15, Itzhakov, Avraham^Aff14, Stuckey, Peter J.^{Aff15, Aff16}

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Rueher, Michel, editor^Aff13

Superior Title: Principles and Practice of Constraint Programming : 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. 9892:157-172

Authors: Codish, Michael^Aff14, Cruz-Filipe, Luís^Aff15, Nebel, Markus^Aff15, Schneider-Kamp, Peter^Aff15

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Falaschi, Moreno, editor^Aff13

Superior Title: Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. 9527:127-142

Authors: Codish, Michael^Aff17, Cruz-Filipe, Luís^Aff18, Schneider-Kamp, Peter^Aff18

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Dediu, Adrian-Horia, editor^Aff13, Formenti, Enrico, editor^Aff14, Martín-Vide, Carlos, editor^Aff15, Truthe, Bianca, editor^Aff16

Superior Title: Language and Automata Theory and Applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings. 8977:664-675

Authors: Codish, Michael, Frank, Michael, Metodi, Amit, Muslimany, Morad

Subject Terms: Logic Programming, Constraints, Maximum Clique

File Description: application/pdf

Relation: http://www.jstor.org/stable/2413432; http://www.jstor.org/stable/2289017; https://dx.doi.org/10.4230/OASIcs.ICLP.2017; https://dx.doi.org/10.1007/BF02579196; https://dx.doi.org/10.1016/0095-8956(76)90021-6; https://dx.doi.org/10.1007/978-1-4757-3023-4_1; https://dx.doi.org/10.1017/S030500410002168X; https://dx.doi.org/10.1057/palgrave.jors.2601115; https://dx.doi.org/10.1057/jors.1996.37; https://dx.doi.org/10.1017/S1471068407003146; https://dx.doi.org/10.1145/800157.805047; https://dx.doi.org/10.1017/S1471068416000223; https://dx.doi.org/10.1145/322077.322090; https://dx.doi.org/10.1007/BF02392825; https://dx.doi.org/10.1006/jcss.2001.1774; https://dx.doi.org/10.1007/978-3-319-44953-1_23; https://dx.doi.org/10.3390/a6040618; https://dx.doi.org/10.1007/s11590-014-0837-4

Availability: https://doi.org/10.4230/oasics.iclp.2017.510.4230/OASIcs.ICLP.201710.1007/BF0257919610.1016/0095-8956(76)90021-610.1007/978-1-4757-3023-4_110.1017/S030500410002168X10.1057/palgrave.jors.260111510.1057/jors.1996.3710.1017/S147106840700314610.1145/800157.80504710.1017/S147106841600022310.1145/322077.32209010.1007/BF0239282510.1006/jcss.2001.177410.1007/978-3-319-44953-1_2310.3390/a604061810.1007/s11590-014-0837-4

Authors: Fekete, Yoav^Aff17, Codish, Michael^Aff17

Contributors: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Kobsa, Alfred, editor^Aff5, Mattern, Friedemann, editor^Aff6, Mitchell, John C., editor^Aff7, Naor, Moni, editor^Aff8, Nierstrasz, Oscar, editor^Aff9, Pandu Rangan, C., editor^Aff10, Steffen, Bernhard, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Weikum, Gerhard, editor^Aff14, Sinz, Carsten, editor^Aff15, Egly, Uwe, editor^Aff16

Superior Title: Theory and Applications of Satisfiability Testing – SAT 2014 : 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. 8561:351-366

Authors: Codish, Michael, Cruz-Filipe, Luís, Nebel, Markus, Schneider-Kamp, Peter

Superior Title: Formal Aspects of Computing: Applicable Formal Methods. May 2017 29(3):559-579

Authors: Codish, Michael, Frank, Michael, Itzhakov, Avraham, Miller, Alice

Superior Title: Constraints: An International Journal. July 2016 21(3):375-393

Authors: Itzhakov, Avraham, Codish, Michael

Superior Title: Constraints: An International Journal. July 2016 21(3):357-374

Authors: Codish, Michael^Aff18, Fekete, Yoav^Aff18, Metodi, Amit^Aff19

Contributors: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Bertacco, Valeria, editor^Aff16, Legay, Axel, editor^Aff17

Superior Title: Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings. 8244:1-14

Authors: Codish, Michael

Subject Terms: Computer Science - Discrete Mathematics

Relation: http://arxiv.org/abs/1807.00507

Availability: http://arxiv.org/abs/1807.00507

Authors: Codish, Michael, Miller, Alice, Prosser, Patrick, Stuckey, Peter J.

Superior Title: Constraints ; volume 24, issue 1, page 1-24 ; ISSN 1383-7133 1572-9354

Subject Terms: Artificial Intelligence, Computational Theory and Mathematics, Discrete Mathematics and Combinatorics, Software

Availability: https://doi.org/10.1007/s10601-018-9294-5

Authors: Metodi, Amit^Aff17, Codish, Michael^Aff17, Lagoon, Vitaly^Aff18, Stuckey, Peter J.^Aff19

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Lee, Jimmy, editor^Aff16

Superior Title: Principles and Practice of Constraint Programming – CP 2011 : 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings. 6876:621-636

Authors: Codish, Michael^Aff18, Fekete, Yoav^Aff18, Fuhs, Carsten^Aff19, Schneider-Kamp, Peter^Aff20

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Abdulla, Parosh Aziz, editor^Aff16, Leino, K. Rustan M., editor^Aff17

Superior Title: Tools and Algorithms for the Construction and Analysis of Systems : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. 6605:189-204

Authors: Codish, Michael^Aff21, Zazon-Ivry, Moshe^Aff21

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Goebel, Randy, editor^Aff16, Siekmann, Jörg, editor^Aff17, Wahlster, Wolfgang, editor^Aff18, Clarke, Edmund M., editor^Aff19, Voronkov, Andrei, editor^Aff20

Superior Title: Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers. 6355:154-172