Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions⋆ Daniel Larraz, Albert Oliveras, Enric Rodr´ıguez-Carbonell, and Albert Rubio Universitat Polit`ecnica de Catalunya, Barcelona, Spain

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Computational complexity theory
• Mathematical logic
• Constraint programming
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• Satisfiability modulo theories
• Maximum satisfiability problem
• Local consistency

Proving Non-termination Using Max-SMT? Daniel Larraz1 , Kaustubh Nimkar2 , Albert Oliveras1 , Enric Rodr´ıguez-Carbonell1 , and Albert Rubio1 1 Universitat Polit`ecnica de Catalunya, Barcelona

Source URL: www.lsi.upc.edu

• Mathematical analysis
• Ergodic theory
• Differential topology
• Mathematics
• Computability theory
• Lie algebras
• Non-associative algebras
• Hopf decomposition
• Orbifold

MiniMaxSat: a New Weighted Max-SAT Solver Federico Heras, Javier Larrosa, and Albert Oliveras Universitat Politecnica de Catalunya, Jordi Girona 1-3, 08034 Barcelona, Spain Abstract. In this paper we introduce M INI M A

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Mathematics
• Computational complexity theory
• Logic in computer science
• Automated theorem proving
• Boolean algebra
• NP-complete problems
• Combinatorial optimization
• Maximum satisfiability problem
• Boolean satisfiability problem
• Resolution
• Unit propagation

Proving Termination of Imperative Programs Using Max-SMT Daniel Larraz, Albert Oliveras, Enric Rodr´ıguez-Carbonell, Albert Rubio Universitat Polit`ecnica de Catalunya, Barcelona, Spain Abstract—We show how Max-SMT

Source URL: www.lsi.upc.edu

ORQUESTRA SIMFÒNICA DE BARCELONA I NACIONAL DE CATALUNYA KAZUSHI ONO DIRECTOR TITULAR MOZART,

Source URL: www.auditori.cat

FreeLing: An Open-Source Suite of Language Analyzers Xavier Carreras, Isaac Chao, Llu´ıs Padr´o, Muntsa Padr´o TALP Research Center Universitat Polit`ecnica de Catalunya C/ Jordi GironaBarcelona, Spain

Source URL: nlp.lsi.upc.edu

Learning PDFA with Asynchronous Transitions Borja Balle, Jorge Castro, and Ricard Gavald`a Universitat Polit`ecnica de Catalunya, Barcelona {bballe,castro,gavalda}@lsi.upc.edu Abstract. In this paper we extend the PAC l

Source URL: borjaballe.github.io

Universitat de Barcelona Universitat Rovira i Virgili Universitat Politècnica de Catalunya Màster en Intel·ligència Artificial Tesi de Màster

Source URL: sergioescalera.com

Universitat Polit` ecnica de Catalunya Universitat Rovira i Virgili Universitat de Barcelona Facultat d’Inform`atica de Barcelona Campus Nord Building B6

Source URL: sergioescalera.com

Microsoft Word - Texto implementación de un Mecanismo...en Catalunya _definitvo a 8 de enero del 2007_.doc

Source URL: www.prevenciontortura.org