Jordi Levy und Max-Sat - Info zur Person

(1 - 6 von 6

)

Recent Advances in Artificial Intelligence Research and ...books.google.com › books

books.google.de

References [1] Carlos Ans ́otegui, Marıa Luisa Bonet, Jordi Levy, and Felip Many`a. A complete resolution calculus for Signed Max-SAT.

Karl Lieberherr Invented Non-Chronological Backtracking at about the...

www2.ccs.neu.edu

@inproceedings{DBLP:conf/sat/BonetLM06, author = {Maria Luisa Bonet and Jordi Levy and Felip Many{\`a}}, title = {A Complete Calculus for Max-SAT.} ...

MAX-SAT

web.udl.es

Maria Lluisa Bonet, Jordi Levy, Felip Manyà. A Complete Calculus for Max-SAT. In Proceedings of SAT-06, J. Chen, I A. Kanj. Improved exact algorithms ...

Max-SAT Tenth Max-SAT Evaluation

www.maxsat.udl.cat

Description Web page: http://sat.inesc-id.pt/open-wbo/; ILP : Submitters: Carlos Ansotegui , Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy

Max-SAT Eighth Max-SAT Evaluation

www.maxsat.udl.cat

Description Web page: http://sat.inesc-id.pt/wbo/; WPM : Submitters: Carlos Ansotegui , Carlos Ansotegui, Maria Luisa Bonet, Joel Gabas, Jordi Levy

Alle Infos zum Namen "Jordi Levy"

Verwandte Suchanfragen zu Jordi Levy

Alexander Baumgartner
Manfred Schmidt-Schauß
Joachim Niehren

Person "Levy" (2)
Vorname "Jordi" (1152)
Name "Levy" (1181)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: 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