Carlos Ansótegui and Maria Luisa Bonet - Free people check

(1 - 12 from 12

)

CCIA 2015

www.uv.es

Carlos Ansótegui, Maria Luisa Bonet, Jesus Giráldez-Crú and Jordi Levy; Speeding Up Neural Networks for Large Scale Classification using WTA Hashing.

[ ] Community Structure in Industrial SAT Instances

arxiv.org

Authors:Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy. (Submitted on 10 Jun (v1), last revised 3 Jul (this version, v2)).

[ ] The Fractal Dimension of SAT Formulas

arxiv.org

DBLP - CS Bibliography. listing | bibtex · Carlos Ansótegui · Maria Luisa Bonet · Jesús Giráldez-Cru · Jordi Levy ...

2 - IOS Press Ebooksebooks.iospress.nl/Publication/Descendants/7569?page=2

ebooks.iospress.nl

Analysis and Generation of Pseudo-Industrial MaxSAT Instances. Authors. Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Chu Min Li. Pages DOI.

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

Maria Luisa Bonet - Cites de Google Acadèmic

scholar.google.es

Jordi Levy,; Carlos Ansótegui,; Nicola Galesi,; Sam Buss,; Katherine St. John,; Jan Johannsen,; Tandy Warnow,; Carlos Domingo,; Cynthia Phillips,; Nina ...

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 ].

IOS Press Ebooks - On the Classification of Industrial SAT Families

ebooks.iospress.nl

Transportation Sciences. cover. On the Classification of Industrial SAT Families. Authors. Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy.

Dr. Rina Dechter @ UCI

www.ics.uci.edu

Automated Symmetry Breaking and Model Selection in Conjure; Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs and Jordi Levy Improving ...

3 - Semantic Scholar

www.semanticscholar.org

A New Algorithm for Weighted Partial MaxSAT. ∗. Carlos Ansótegui. DIEI, UdL. Jaume II 69, Lleida, Spain. Maria Luisa Bonet. LSI, UPC. J. Girona 1–3, ...

WPM2 - Mathematical software - swMATH

www.swmath.org

InternetArchive; Versions: -Info; Authors: Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy; Add information on this software. Related software:.

Program | SAT/SMT Summer School 2014

satsmt2014.forsyte.at

Andrew Mihal: Satisfiability Modulo Relative Slack; Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru and Jordi Levy: The Fractal Dimension of SAT ...

Podstawy Informatyki - Instytut Informatyki Analitycznej Uniwersytetu...

www.tcs.uj.edu.pl

The Fractal Dimension of SAT Formulas by Carlos Ansotegui, Maria Luisa Bonet, Jesus Giraldez-Cru and Jordi Levy. Modern SAT solvers have experienced a ...

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" (60851)
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 Maria Luisa Bonet Free People Check