Skip to main content
SpringerLink
Log in

New phase transitions for formulas in Łukasiewicz logic

  • Letter
  • Published:
Frontiers of Computer Science Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Bofill M, Manyà F, Vidal A, Villaret M. New complexity results for łukasiewicz logic. Soft Computing, 2019, 23(7): 2187–2197

    Article  Google Scholar 

  2. Chu Y, Luo C, Cai S, You H. Empirical investigation of stochastic local search for maximum satisfiability. Frontiers of Computer Science, 2019, 13(1): 86–98

    Article  Google Scholar 

  3. El Halaby M. Solving maxsat by successive calls to a sat solver. In: Proceedings of SAI Intelligent Systems Conference. 2016, 428–452

  4. Demirović E, Musliu N, Winter F. Modeling and solving staff scheduling with partial weighted maxsat. Annals of Operations Research, 2019, 275(1): 79–99

    Article  MathSciNet  Google Scholar 

  5. Nadel A. Solving maxsat with bit-vector optimization. In: Proceedings of International Conference on Theory and Applications of Satisfiability Testing. 2018, 54–72

  6. De Moura L, Bjørner N. Z3: an efficient smt solver. In: Proceedings of International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 2008. 337–340

  7. El Halaby M, Abdalla A. Fuzzy maximum satisfiability. In: Proceedings of the 10th International Conference on Informatics and Systems. 2016, 50–55

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Faculty of Science, Cairo University, Giza, 12613, Egypt

    Mohamed El Halaby & Areeg Abdalla

Authors
  1. Mohamed El Halaby
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Areeg Abdalla
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mohamed El Halaby.

Electronic Supplementary Material

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

El Halaby, M., Abdalla, A. New phase transitions for formulas in Łukasiewicz logic. Front. Comput. Sci. 14, 146403 (2020). https://doi.org/10.1007/s11704-020-9168-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s11704-020-9168-z

Search

Navigation