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

Search results

  • 1986

    Compiling OR-parallelism into AND-parallelism

    Codish, M. & Shapiro, E., 1 Jan 1986, 3rd International Conference on Logic Programming - Imperial College of Science and Technology, Proceedings. Shapiro, E. (ed.). Springer Verlag, p. 283-297 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 225 LNCS).

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

    7 Scopus citations
  • 1988

    Fully abstract denotational semantics for Flat Concurrent Prolog.

    Gerth, R., Codish, M., Lichtenstein, Y. & Shapiro, E., 1 Dec 1988, Proc Third Annu Symp on Logic in Comput Sci. Publ by IEEE, p. 320-335 16 p. (Proc Third Annu Symp on Logic in Comput Sci).

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

    24 Scopus citations
  • Using Safe Approximations of Fixed Points for Analysis of Logic Programs

    Codish, M., Gallagher, J. P. & Shapiro, E., 1988, Meta-Programming in Logic Programming: Workshop on Meta-Programming in Logic. Abramson, H. & Rogers, M. H. (eds.). MIT Press Journals, p. 233-261 29 p.

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

  • 1992

    Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs

    Codish, M., Falaschi, M., Marriott, K. & Winsborough, W. H., 1992, Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings. Billaud, M., Castéran, P., Corsini, M-M., Musumbu, K. & Rauzy, A. (eds.). Atelier Irisa, IRISA, Campus de Beaulieu, Vol. 81-82. p. 35-42 8 p. (Series Bigre).

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

  • Modelling Prolog control

    Barbuti, R., Codish, M., Giacobazzi, R. & Levi, G., 1 Jan 1992, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Publ by ACM, p. 95-104 10 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

    13 Scopus citations
  • Oracle semantics for prolog

    Barbuti, R., Codish, M., Giacobazzi, R. & Maher, M., 1 Jan 1992, Algebraic and Logic Programming - 3rd International Conference, Proceedings. Levi, G. & Kirchner, H. (eds.). Springer Verlag, p. 100-114 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 632 LNCS).

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

    10 Scopus citations
  • 1993

    Analysing Logic Programs Using 'Prop'-ositional Logic Programs and a Magic Wand

    Codish, M. & Demoen, B., 1993, Logic Programming, Proceedings of the 1993 International Symposium, Vancouver, British Columbia, Canada, October 26-29, 1993. Miller, D. (ed.). MIT Press Journals, p. 114-129 16 p.

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

  • Compositional analysis of modular logic programs

    Codish, M., Debray, S. K. & Giacobazzi, R., 1 Jan 1993, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Publ by ACM, p. 451-464 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

    40 Scopus citations
  • Efficient analysis of concurrent constraint logic programs

    Codish, M., Falaschi, M., Marriott, K. & Winsborough, W., 1 Jan 1993, Automata, Languages and Programming - 20th International Colloquium, ICALP 1993, Proceedings. Lingas, A., Karlsson, R. & Carlsson, S. (eds.). Springer Verlag, p. 633-644 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 700 LNCS).

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

    13 Scopus citations
  • Freeness, Sharing, linearity and correctness- all at once

    Bruynooghe, M. & Codish, M., 1 Jan 1993, Static Analysis - 3rd International Workshop, WSA '93, Proceedings. Cousot, P., Falaschi, M., File, G. & Rauzy, A. (eds.). Springer Verlag, p. 153-164 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 724 LNCS).

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

    12 Scopus citations
  • Freeness Analysis for Logic Programs - And Correctness?

    Codish, M., Dams, D., Filé, G. & Bruynooghe, M., 1993, Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993. Warren, D. S. (ed.). MIT Press Journals, p. 116-131 16 p.

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

  • Freeness Analysis in the Presence of Numerical Constraints

    Dumortier, V., Janssens, G., Bruynooghe, M. & Codish, M., 1993, Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993. Warren, D. S. (ed.). MIT Press Journals, p. 100-115 16 p.

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

  • Improving Abstract Interpretations by Combining Domains

    Codish, M., Mulkers, A., Bruynooghe, M., Garcia de la Banda, M. & Hermenegildo, M., 1 Jan 1993, Proceedings of the 1993 ACM SIGPLAN Symposium on Partial Evaluation Semantics-Based Program Manipulation. Association for Computing Machinery (ACM), p. 194-205 12 p.

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

    19 Scopus citations
  • 1994

    Abstract Unification for a Composite Domain Deriving Sharing and Freeness Properties of Program Variables

    Bruynooghe, M., Codish, M. & Mulkers, A., 1994, ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994. Boer, F. S. D. & Gabbrielli, M. (eds.). p. 213 229 p.

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

  • Deriving polymorphic type dependencies for logic programs using multiple incarnations of prop

    Codish, M. & Demoen, B., 1 Jan 1994, Static Analysis - 1st International Static Analysis Symposium, SAS '94, Proceedings. Le Charlier, B. (ed.). Springer Verlag, p. 281-296 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 864 LNCS).

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

    39 Scopus citations
  • Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop

    Codish, M. & Demoen, B., 1994, 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1. Alpuente, M., Barbuti, R. & Ramos, I. (eds.). p. 327-341 15 p.

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

  • Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop

    Codish, M. & Demoen, B., 1994, ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994. Boer, F. S. D. & Gabbrielli, M. (eds.).

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

  • Goal dependent vs. Goal independent analysis of logic programs

    Codish, M., García de la Bands, M., Bruynooghc, M. & Hermenegildo, M., 1994, Logic Programming and Automated Reasoning - 5th International Conference, LPAR 1994, Proceedings. Pfenning, F. (ed.). Springer Berlin Heidelberg, p. 305-319 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 822 LNAI).

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

    5 Scopus citations
  • Proving implications by algebraic approximation

    Codish, M. & Mashevitzky, G., 1 Jan 1994, Algebraic and Logic Programming - 4th International Conference, ALP 1994, Proceedings. Levi, G. & Rodriguez-Artalejo, M. (eds.). Springer Verlag, p. 6-22 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 850 LNCS).

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

    1 Scopus citations
  • 1996

    Sharing Analysis for Logic Programs using Set Logic Programs

    Codish, M., Lagoon, V. & Bueno, F., 1996, 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996. Lucio, P., Martelli, M. & Navarro, M. (eds.). p. 29-40 12 p.

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

  • Type Dependencies for Logic Programs Using ACI-Unification

    Codish, M. & Lagoon, V., 1996, Fourth Israel Symposium on Theory of Computing and Systems, ISTCS 1996, Jerusalem, Israel, June 10-12, 1996, Proceedings. IEEE Computer Society, p. 136-145 10 p.

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

  • 1997

    An algebraic approach to sharing analysis of logic programs

    Codish, M., Lagoon, V. & Bueno, F., 1 Jan 1997, Static Analysis - 4th International Symposium, SAS 1997. Van Hentenryck, P. (ed.). Springer Verlag, p. 68-82 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1302 LNCS).

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

    7 Scopus citations
  • A semantic basis for termination analysis of logic programs and its realization using symbolic norm constraints

    Codish, M. & Taboch, C., 1 Jan 1997, Algebraic and Logic Programming - 6th International Joint Conference ALP 1997 ― HOA 1997, Proceedings. Meinke, K., Hanus, M. & Heering, J. (eds.). Springer Verlag, p. 31-45 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1298).

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

    15 Scopus citations
  • A Semantic Basis for Termination Analysis of Logic Programs and its Realization Using Symbolic Norm Constraints

    Codish, M. & Taboch, C., 1997, 1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997. Falaschi, M., Navarro, M. & Policriti, A. (eds.). p. 545-556 12 p.

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

  • Efficient Goal Directed Bottom-up Evaluation of Logic Programs

    Codish, M., 1997, Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997. Naish, L. (ed.). MIT Press Journals, p. 422 1 p.

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

  • Sharing Analysis Using Set Logic Programs

    Bueno, F., Codish, M. & Lagoon, V., 1997, Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997. Naish, L. (ed.). MIT Press Journals, p. 417 1 p.

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

  • XSB as the Natural Habitat for General Purpose Program Analysis

    Codish, M., Demoen, B. & Sagonas, K., 1997, Logic Programming, Proceedings of the 14th International Conference on Logic Programming. Naish, L. (ed.). MIT Press Journals, p. 416 1 p.

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

  • 1998

    The boolean logic of set sharing analysis

    Codish, M. & Søndergaard, H., 1 Jan 1998, Principles of Declarative Programming - 10th International Symposium, PLILP 1998 with 6th International Conference, ALP 1998, Proceedings. Palamidessi, C., Glaser, H. & Meinke, K. (eds.). Springer Verlag, p. 89-101 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1490).

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

    5 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
  • 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
  • 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

  • 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

    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
  • 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
  • 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
  • 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
  • 2012

    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