Cèsar Fernández

46 papers A* 7A 7B 1Misc 1Journal 18Unranked 10
YearRankTypeTitle / Venue / Authors
2022 J jnl
New Reasoning Models: Improving Optimisation and Decision Support with the Management of Uncertainty and Constraints.
Int. J. Comput. Intell. Syst.
Aïda Valls, Cèsar Fernández, Mateu Villaret
2021 — ed.
Artificial Intelligence Research and Development - Proceedings of the 23rd International Conference of the Catalan Association for Artificial Intelligence, CCIA 2021, Virtual Event, 20-22 October, 2021.
CCIA
Mateu Villaret, Teresa Alsinet, Cèsar Fernández, Aïda Valls
2018 J jnl
An argumentative approach for discovering relevant opinions in Twitter with probabilistic valued relationships.
Pattern Recognit. Lett.
Teresa Alsinet, Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes
2017 J jnl
Weighted argumentation for analysis of discussions in Twitter.
Int. J. Approx. Reason.
Teresa Alsinet, Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes
2016 J jnl
A predictor model for the composting process on an industrial scale based on Markov processes.
Environ. Model. Softw.
Cèsar Fernández, Carles Mateu, Raul Moral, Francina Sole-Mauri
2016 J jnl
Non existence of some mixed Moore graphs of diameter 2 using SAT.
Discret. Math.
Nacho López, Josep M. Miret, Cèsar Fernández
2016 J jnl
On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes.
Ann. Math. Artif. Intell.
Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes
2016 — conf
Support Analysis of Weighted Discussions in Twitter.
CCIA
Teresa Alsinet, Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu, Jordi Planes
2015 J jnl
Approximate dynamic programming for automated vacuum waste collection systems.
Environ. Model. Softw.
Cèsar Fernández, Felip Manyà, Carles Mateu, Francina Sole-Mauri
2015 J jnl
Solving the Routing and Wavelength Assignment problem with conflict-driven ASP solvers.
AI Commun.
Teresa Alsinet, Ramón Béjar, Cèsar Fernández, Francesc Guitart, Carles Mateu
2014 J jnl
Modeling energy consumption in automated vacuum waste collection systems.
Environ. Model. Softw.
Cèsar Fernández, Felip Manyà, Carles Mateu, Francina Sole-Mauri
2013 J jnl
On the hardness of solving edge matching puzzles as SAT or CSP problems.
Constraints An Int. J.
Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu
2013 — conf
Solving Routing and Wavelength Assignment Problem with Conflict-Driven ASP Solvers.
CCIA
Ramón Béjar, Cèsar Fernández, Carles Mateu, Francesc Guitart
2012 B conf
Optimizing Energy Consumption in Automated Vacuum Waste Collection Systems.
ICTAI
Ramón Béjar, Cèsar Fernández, Felip Manyà, Carles Mateu, Francina Sole-Mauri
2012 A* conf
The Automated Vacuum Waste Collection Optimization Problem.
AAAI
Ramón Béjar, Cèsar Fernández, Carles Mateu, Felip Manyà, Francina Sole-Mauri, David Vidal
2012 J jnl
The Sudoku completion problem with rectangular hole pattern is NP-complete.
Discret. Math.
Ramón Béjar, Cèsar Fernández, Carles Mateu, Magda Valls
2011 — ed.
Artificial Intelligence Research and Development - Proceedings of the 14th International Conference of the Catalan Association for Artificial Intelligence, Lleida, Catalonia, Spain, October 26-28, 2011
CCIA
Cèsar Fernández, Hector Geffner, Felip Manyà
2011 J jnl
Generating highly balanced sudoku problems as hard problems.
J. Heuristics
Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carla P. Gomes, Carles Mateu
2011 — conf
On 2SAT-MaxOnes with Unbalanced Polarity: from Easy Problems to Hard MaxClique Problems.
CCIA
Josep Argelich, Ramón Béjar, Cèsar Fernández, Carles Mateu
2011 — conf
Towards an Efficient Use of Resources in All-Optical Networks.
CCIA
Ramón Béjar, Cèsar Fernández, Francesc Guitart, Carles Mateu
2010 — conf
Encoding Basic Arithmetic Operations for SAT-Solvers.
CCIA
Ramón Béjar, Cèsar Fernández, Francesc Guitart
2010 A conf
Solving Pseudo-Boolean Modularity Constraints.
ECAI
Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Francesc Guitart, Carles Mateu
2009 — conf
Bounding the Phase Transition on Edge Matching Puzzles.
ISMVL
Ramón Béjar, Cèsar Fernández, Carles Mateu, Nuria Pascual
2008 A conf
Edge Matching Puzzles as Hard SAT/CSP Benchmarks.
CP
Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu
2008 A conf
From High Girth Graphs to Hard Instances.
CP
Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu
2008 A* conf
Generating Hard SAT/CSP Instances Using Expander Graphs.
AAAI
Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu
2008 Misc conf
Hard SAT and CSP instances with Expander Graphs.
ISAIM
Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu
2008 — conf
How Hard is a Commercial Puzzle: the Eternity II Challenge.
CCIA
Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu
2007 A* conf
On Balanced CSPs with High Treewidth.
AAAI
Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu
2007 J jnl
Regular-SAT: A many-valued approach to solving combinatorial problems.
Discret. Appl. Math.
Ramón Béjar, Felip Manyà, Alba Cabiscol, Cèsar Fernández, Carla P. Gomes
2006 A* conf
The Impact of Balancing on Problem Hardness in a Highly Structured Domain.
AAAI
Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carla P. Gomes, Carles Mateu
2005 J jnl
Sensor networks and distributed CSP: communication, computation and complexity.
Artif. Intell.
Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bhaskar Krishnamachari, Bart Selman, Magda Valls
2005 A conf
Statistical Modelling of CSP Solving Algorithms Performance.
CP
Ramón Béjar, Cèsar Fernández, Carles Mateu
2005 J jnl
Statistical Regimes Across Constrainedness Regions.
Constraints An Int. J.
Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessière
2005 A* conf
Streamlining Local Search for Spatially Balanced Latin Squares.
IJCAI
Casey Smith, Carla P. Gomes, Cèsar Fernández
2004 A* conf
Modeling Choices in Quasigroup Completion: SAT vs. CSP.
AAAI
Carlos Ansótegui, Alvaro del Val, Iván Dotú, Cèsar Fernández, Felip Manyà
2004 A conf
Statistical Regimes Across Constrainedness Regions.
CP
Carla P. Gomes, Cèsar Fernández, Bart Selman, Christian Bessiere
2003 J jnl
Automated monitoring of medical protocols: a secure and distributed architecture.
Artif. Intell. Medicine
Teresa Alsinet, Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Felip Manyà
2003 A* conf
Grid-based SensorDCSP.
IJCAI
Ramón Béjar, Carmel Domshlak, Cèsar Fernández, Carla P. Gomes, Bart Selman, Magda Valls
2003 J jnl
On the Complexity of Distributed Self-Configuration in Wireless Networks.
Telecommun. Syst.
Bhaskar Krishnamachari, Stephen B. Wicker, Ramón Béjar, Cèsar Fernández
2002 A conf
Communication and Computation in Distributed CSP Algorithms.
CP
Cèsar Fernández, Ramón Béjar, Bhaskar Krishnamachari, Carla P. Gomes
2002 — conf
Minimal and Redundant SAT Encodings for the All-Interval-Series Problem.
CCIA
Teresa Alsinet, Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà
2001 A conf
Capturing Structure with Satisfiability.
CP
Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes
2001 J jnl
Extending the Reach of SAT with Many-Valued Logics.
Electron. Notes Discret. Math.
Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà, Carla P. Gomes
2000 — conf
A Multi-agent system architecture for monitoring medical protocols.
Agents
Teresa Alsinet, Ramón Béjar, Cèsar Fernández, Felip Manyà
1999 — conf
Evaluation of Allocation Policies on Hybrid Fiber-Coax Broadband Access Networks for Contention-Type Traffic.
Broadband Communications
Cèsar Fernández, Sebastià Sallent