Felip Manyà

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Miquel Bofill

> Home > Persons > Felip Manyà

Publications

2019
[j25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/soco/BofillMVV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/soco/BofillMVV19
Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret:
New complexity results for Łukasiewicz logic. Soft Comput. 23(7): 2187-2197 (2019)
2016
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/fss/AnsoteguiBMV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fss/AnsoteguiBMV16
Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret:
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers. Fuzzy Sets Syst. 292: 32-48 (2016)
2015
[j20]
- view
  - electronic edition @ oldcitypublishing.com
  - no references & citations available
- export record
  dblp key:
  - journals/mvl/AnsoteguiBMV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mvl/AnsoteguiBMV15
Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret:
SAT and SMT Technology for Many-Valued Logics. J. Multiple Valued Log. Soft Comput. 24(1-4): 151-172 (2015)
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/BofillMVV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/BofillMVV15
Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret:
Finding Hard Instances of Satisfiability in Lukasiewicz Logics. ISMVL 2015: 30-35
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/mdai/BofillMVV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mdai/BofillMVV15
Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret:
The Complexity of 3-Valued Łukasiewicz Rules. MDAI 2015: 221-229
2012
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/AnsoteguiBMV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/AnsoteguiBMV12
Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret:
Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers. ISMVL 2012: 25-30
2011
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/AnsoteguiBMV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/AnsoteguiBMV11
Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret:
Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic. ISMVL 2011: 230-235

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.