Cèsar Fernández

Publication Activity (10 Years)

Years Active: 1999-2022
Publications (10 Years): 7

Top Topics

Satisfiability Problem

Waste Collection

Top Venues

Environ. Model. Softw.

Ann. Math. Artif. Intell.

Int. J. Approx. Reason.

Publications

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