Carlos Ansótegui and Felip Manyà - Free people check

(1 - 9 from 9

)

Artificial Intelligence Research and Development: Proceedings of the...

books.google.fi

[3] Carlos Ansótegui, Alvaro del Val, Iván Dotú, Cèsar Fernández, and Felip Manyà. Modelling choices in quasigroup completion: SAT vs CSP. In Proceedings of ...

CiteSeerX — Resolution Methods for Many-Valued CNF Formulas

citeseerx.ist.psu.edu

author = {Carlos Ansótegui and Ramón Béjar and Alba Cabiscol and Chu Min Li and Felip Manyà}, title = {Resolution Methods for Many-Valued CNF Formulas},

dblp: Felip Manyà

dblp.org

List of computer science publications by Felip Manyà

IOS Press Ebooks - A Max-SAT-Based Approach to Constructing Optimal...

ebooks.iospress.nl

Carlos Ansótegui, Idelfonso Izquierdo, Felip Manyà, José Torres Jiménez. Pages.

All web results to the name "Carlos Ansótegui"

‪Felip Manya‬ - ‪Google Scholar‬

scholar.google.be

‪IIIA-CSIC‬ - ‪‪Cited by ‬‬ - ‪intel·ligència artificial‬

Features — PySAT dev5 documentation

pysathq.github.io

[1], Carlos Ansótegui, Felip Manyà. Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables. SAT (Selected Papers) pp

LOGPROG:: Publications

www.cs.upc.edu

[4], Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, and Felip Manyà. Resolution procedures for multiple-valued optimization. Inf. Sci., 227:43-59, [ bib ].

MVLSC Volume 24, Number 1-4 (2015) – Old City Publishing

www.oldcitypublishing.com

Full Text (IP). p SAT and SMT Technology for Many-Valued Logics Carlos Ansotegui, Miquel Bofill, Felip Manya and Mateu Villaret

Research

ima.udg.edu

Carlos Ansótegui, Miquel Bofill, Felip Manyà and Mateu Villaret (2012). Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability ...

Related search requests for Carlos Ansótegui

Ramón Béjar
Carles Mateu
César Fernàndez

Felip Manyà
Luisa Bonet
Cecilio Angulo

Fahiem Bacchus
Pedro Meseguer
Jordi Levy

People
Forename "Carlos" (60605)
Name "Ansótegui" (3)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Carlos Ansótegui and Felip Manyà Free People Check