If you made any changes in Pure these will be visible here soon.

Search results

  • 2000

    Improving program analyses by structure untupling

    Codish, M., Marriott, K. & Taboch, C., 1 Jan 2000, In: Journal of Logic Programming. 43, 3, p. 251-263 13 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    6 Scopus citations
  • Simple polynomial groundness analysis for logic programs

    Heaton, A., Abo-Zaed, M., Codish, M. & King, A., 1 Jan 2000, In: Journal of Logic Programming. 45, 1, p. 143-156 14 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    9 Scopus citations
  • Type dependencies for logic programs using ACI-unification

    Codish, M. & Lagoon, V., 6 May 2000, In: Theoretical Computer Science. 238, 1-2, p. 131-159 29 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    26 Scopus citations
  • 2001

    Higher-precision groundness analysis

    Codish, M., Genaim, S., Søndergaard, H. & Stuckey, P. J., 1 Jan 2001, Logic Programming - 17th International Conference, ICLP 2001, Proceedings. Codognet, P. (ed.). Springer Verlag, p. 135-149 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2237).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • Inferring termination conditions for logic programs using backwards analysis

    Genaim, S. & Codish, M., 1 Jan 2001, Logic for Programming, Artificial Intelligence, and Reasoning - 8th International Conference, LPAR 2001, Proceedings. Nieuwenhuis, R. & Voronkov, A. (eds.). Springer Verlag, p. 685-694 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2250).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    21 Scopus citations
  • Pos(T ): Analyzing dependencies in typed logic programs

    Bruynooghe, M., Vanhoof, W. & Codish, M., 1 Jan 2001, Perspectives of System Informatics - 4th International Andrei Ershov Memorial Conference, PSI 2001, Revised Papers. Bjørner, D., Broy, M. & Zamulin, Z. (eds.). Springer Verlag, p. 406-420 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2244 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    7 Scopus citations
  • The def-inite approach to dependency analysis

    Genaim, S. & Codish, M., 1 Jan 2001, Programming Languages and Systems - 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Proceedings. Sands, D. (ed.). Springer Verlag, p. 417-431 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2028).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    3 Scopus citations
  • Worst-case groundness analysis using definite Boolean functions

    Genaim, S., Codish, M. & Howe, J. M., 1 Jan 2001, In: Theory and Practice of Logic Programming. 1, 5, p. 611-615 5 p.

    Research output: Contribution to journalArticlepeer-review

    7 Scopus citations
  • 2002

    Combining norms to prove termination

    Genaim, S., Codish, M., Gallagher, J. & Lagoon, V., 1 Jan 2002, Verification, Model Checking, and Abstract Interpretation - Third International Workshop, VMCAI 2002, Revised Papers. Cortesi, A. (ed.). Springer Verlag, p. 126-138 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2294 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    19 Scopus citations
  • Meta-circular abstract interpretation in prolog

    Codish, M. & Søndergaard, H., 1 Jan 2002, The Essence of Computation: Complexity, Analysis, Transformation. Springer Verlag, p. 109-134 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2566 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    11 Scopus citations
  • Reuse of results in termination analysis of typed logic programs

    Bruynooghe, M., Codish, M., Genaim, S. & Vanhoof, W., 1 Jan 2002, Static Analysis - 9th International Symposium, SAS 2002 Madrid, Spain, September 17-20, 2002 Proceedings. Hermenegildo, M. V. & Puebla, G. (eds.). Springer Verlag, p. 477-492 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2477).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    9 Scopus citations
  • 2003

    Proving Termination One Loop at a Time

    Codish, M. & Genaim, S., 2003, Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003. Mesnard, F. & Serebrenik, A. (eds.). Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium), Vol. CW371. p. 48-59 12 p. (Report).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2005

    Inferring termination conditions for logic programs using backwards analysis

    Genaim, S. & Codish, M., 1 Jan 2005, In: Theory and Practice of Logic Programming. 5, 1-2, p. 75-91 17 p.

    Research output: Contribution to journalReview articlepeer-review

    10 Scopus citations
  • Testing for termination with monotonicity constraints

    Codish, M., Lagoon, V. & Stuckey, P. J., 1 Jan 2005, In: Lecture Notes in Computer Science. 3668, p. 326-340 15 p.

    Research output: Contribution to journalConference articlepeer-review

    37 Scopus citations
  • 2006

    SAT solving for argument filterings

    Codish, M., Schneider-Kamp, P., Lagoon, V., Thiemann, R. & Giesl, J., 1 Jan 2006, Logic for Programming, Artificial Intelligence, and Reasoning - 13th International Conference, LPAR 2006, Proceedings. Springer Verlag, p. 30-44 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4246 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    13 Scopus citations
  • Size-change termination analysis in k-bits

    Codish, M., Lagoon, V., Schachte, P. & Stuckey, P. J., 14 Jul 2006, Programming Languages and Systems - 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings. p. 230-245 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3924 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    5 Scopus citations
  • Solving partial order constraints for LPO termination

    Codish, M., Lagoon, V. & Stuckey, P. J., 1 Jan 2006, Term Rewriting and Applications - 17th International Conference, RTA 2006, Proceedings. Springer Verlag, p. 4-18 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4098 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    20 Scopus citations
  • 2007

    Implementing RPO and POLO using SAT.

    Schneider-Kamp, P., Fuhs, C., Thiemann, R., Giesl, J., Annov, E., Codish, M., Middeldorp, A. & Zankl, H., 2007.

    Research output: Contribution to conferencePaperpeer-review

  • Propagation = Lazy clause generation

    Ohrimenko, O., Stuckey, P. J. & Codish, M., 1 Jan 2007, Principles and Practice of Constraint Programming - CP 2007 - 13th International Conference, CP 2007, Proceedings. Springer Verlag, p. 544-558 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4741 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    36 Scopus citations
  • Proving termination using recursive path orders and SAT solving

    Schneider-Kamp, P., Thiemann, R., Annov, E., Codish, M. & Giesl, J., 1 Jan 2007, Frontiers of Combining Systems - 6th International Symposium, FroCoS 2007, Proceedings. Springer Verlag, p. 267-282 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4720 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    21 Scopus citations
  • Termination analysis of logic programs through combination of type-based norms

    Bruynooghe, M., Codish, M., Gallagher, J. P., Genaim, S. & Vanhoof, W., 1 Apr 2007, In: ACM Transactions on Programming Languages and Systems. 29, 2, 1216378.

    Research output: Contribution to journalArticlepeer-review

    48 Scopus citations
  • 2008

    A SAT-based approach to size change termination with global ranking functions

    Ben-Amram, A. M. & Codish, M., 21 Jul 2008, Tools and Algorithms for the Construction and Analysis of Systems - 14th Int. Conf., TACAS 2008 - Held as Part of the Joint European Conf. Theory and Practice of Software, ETAPS 2008 Proceedings. p. 218-232 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4963 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    15 Scopus citations
  • Logic programming with satisfiability

    Codish, M., Lagoon, V. & Stuckey, P. J., 1 Jan 2008, In: Theory and Practice of Logic Programming. 8, 1, p. 121-128 8 p.

    Research output: Contribution to journalArticlepeer-review

    29 Scopus citations
  • Proving termination with (Boolean) satisfaction

    Codish, M., 1 Dec 2008, Logic-Based Program Synthesis and Transformation - 17th International Symposium, LOPSTR 2007, Revised Selected Papers. p. 1-7 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4915 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • Telecommunications feature subscription as a partial order constraint problem

    Codish, M., Lagoon, V. & Stuckey, P. J., 1 Dec 2008, Logic Programming - 24th International Conference, ICLP 2008, Proceedings. p. 749-753 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5366 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Scopus citations
  • Termination analysis of Java Bytecode

    Albert, E., Arenas, P., Codish, M., Genaim, S., Puebla, G. & Zanardini, D., 4 Jul 2008, Formal Methods for Open Object-Based Distributed Systems - 10th IFIP WG 6.1 International Conference, FMOODS 2008, Proceedings. p. 2-18 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5051 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    40 Scopus citations
  • 2009

    A declarative encoding of telecommunications feature subscription in SAT

    Codish, M., Genaim, S. & Stuckey, P. J., 30 Nov 2009, PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. p. 255-265 11 p. (PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • Propagation via lazy clause generation

    Ohrimenko, O., Stuckey, P. J. & Codish, M., 1 Sep 2009, In: Constraints. 14, 3, p. 357-391 35 p.

    Research output: Contribution to journalArticlepeer-review

    179 Scopus citations
  • 2010

    Lazy abstraction for size-change termination

    Codish, M., Fuhs, C., Giesl, J. & Schneider-Kamp, P., 1 Jan 2010, Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Proceedings. Fermuller, C. G. (ed.). Springer Verlag, p. 217-232 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6397 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • Pairwise cardinality networks

    Codish, M. & Zazon-Ivry, M., 1 Dec 2010, Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Revised Selected Papers. p. 154-172 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6355 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    36 Scopus citations
  • 2011

    Boolean equi-propagation for optimized SAT encoding

    Metodi, A., Codish, M., Lagoon, V. & Stuckey, P. J., 26 Sep 2011, Principles and Practice of Constraint Programming, CP 2011 - 17th International Conference, Proceedings. p. 621-636 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6876 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    15 Scopus citations
  • Optimal base encodings for Pseudo-Boolean constraints

    Codish, M., Fekete, Y., Fuhs, C. & Schneider-Kamp, P., 4 Apr 2011, Tools and Algorithms for the Construction and Analysis of Systems - 17th Int. Conf., TACAS 2011, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2011, Proceedings. p. 189-204 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6605 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    11 Scopus citations
  • SAT-based termination analysis using monotonicity constraints over the integers

    Codish, M., Gonopolskiy, I., Ben-Amram, A. M., Fuhs, C. & Giesl, J., 1 Jul 2011, In: Theory and Practice of Logic Programming. 11, 4-5, p. 503-520 18 p.

    Research output: Contribution to journalArticlepeer-review

    5 Scopus citations
  • 2012

    Compiling finite domain constraints to SAT with BEE*

    Metodi, A. & Codish, M., 1 Jul 2012, In: Theory and Practice of Logic Programming. 12, 4-5, p. 465-483 19 p.

    Research output: Contribution to journalArticlepeer-review

    36 Scopus citations
  • Compiling model-based diagnosis to Boolean satisfaction

    Metodi, A., Stern, R., Kalech, M. & Codish, M., 7 Nov 2012, AAAI-12 / IAAI-12 - Proceedings of the 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference. p. 793-799 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    24 Scopus citations
  • Exotic Semi-Ring Constraints

    Codish, M., Fekete, Y., Fuhs, C., Giesl, J. & Waldmann, J., 2012, p. 88-97. 10 p.

    Research output: Contribution to conferencePaperpeer-review

  • Programming with Boolean Satisfaction

    Codish, M., 2012, Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings. Schrijvers, T. & Thiemann, P. (eds.). Springer, Vol. 7294. p. 1 1 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • SAT solving for termination proofs with recursive path orders and dependency pairs

    Codish, M., Giesl, J., Schneider-Kamp, P. & Thiemann, R., 1 Jun 2012, In: Journal of Automated Reasoning. 49, 1, p. 53-93 41 p.

    Research output: Contribution to journalArticlepeer-review

    16 Scopus citations
  • 2013

    Backbones for equality

    Codish, M., Fekete, Y. & Metodi, A., 1 Jan 2013, Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Proceedings. Springer Verlag, p. 1-14 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8244 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems

    Metodi, A., Codish, M. & Stuckey, P. J., 1 Jan 2013, In: Journal of Artificial Intelligence Research. 46, p. 303-341 39 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    31 Scopus citations
  • Breaking symmetries in graph representation

    Codish, M., Miller, A., Prosser, P. & Stuckey, P. J., 1 Dec 2013, IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence. p. 510-516 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    15 Scopus citations
  • Compiling finite domain constraints to SAT with BEE: The director's cut

    Codish, M., Fekete, Y. & Metodi, A., 1 Jan 2013.

    Research output: Contribution to conferencePaperpeer-review

  • 2014

    A novel SAT-based approach to model based diagnosis

    Metodi, A., Stern, R., Kalech, M. & Codish, M., 14 Oct 2014, In: Journal of Artificial Intelligence Research. 51, p. 377-411 35 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    49 Scopus citations
  • Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

    Codish, M. (ed.) & Sumii, E. (ed.), 2014, Cham: Springer International Publishing. 353 p. (Lecture Notes in Computer Science)(FLOPS)

    Research output: Book/ReportBookpeer-review

  • Preface

    Codish, M. & Sumii, E., 1 Jan 2014, Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Proceedings. Codish, M. & Sumii, E. (eds.). Springer, p. VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8475).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  • Simplifying pseudo-boolean constraints in residual number systems

    Fekete, Y. & Codish, M., 1 Jan 2014, Theory and Applications of Satisfiability Testing, SAT 2014 - 17th International Conference, Held as Part of theVienna Summer of Logic, VSL 2014, Proceedings. Springer Verlag, p. 351-366 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8561 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • Solving Graph Coloring Problems with Abstraction and Symmetry

    Codish, M., Frank, M., Itzhakov, A. & Miller, A., 18 Sep 2014.

    Research output: Working paper/PreprintPreprint

    File
    26 Downloads (Pure)
  • Twenty-Five Comparators Is Optimal When Sorting Nine Inputs (and Twenty-Nine for Ten)

    Codish, M., Cruz-Filipe, L., Frank, M. & Schneider-Kamp, P., 12 Dec 2014, Proceedings - 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, ICTAI 2014. IEEE Computer Society, p. 186-193 8 p. 6984472. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; vol. 2014-December).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    30 Scopus citations
  • 2015

    Applying sorting networks to synthesize optimized sorting libraries

    Codish, M., Cruz-Filipe, L., Nebel, M. & Schneider-Kamp, P., 1 Jan 2015, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Revised Selected Papers. Falaschi, M. (ed.). Springer Verlag, p. 127-142 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9527).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • Sorting networks: The end game

    Codish, M., Cruz-Filipe, L. & Schneider-Kamp, P., 1 Jan 2015, Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Proceedings. Dediu, A-H., Martín-Vide, C., Formenti, E. & Truthe, B. (eds.). Springer Verlag, p. 664-675 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8977).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    7 Scopus citations