Ramon Bejar

Available identifiers

Publication	Date of Publication	Type
A probabilistic author-centered model for twitter discussions	2022-12-01	Paper
A distributed argumentation algorithm for mining consistent opinions in weighted Twitter discussions	2019-08-12	Paper
Solving the Routing and Wavelength Assignment problem with conflict-driven ASP solvers	2017-11-07	Paper
Weighted argumentation for analysis of discussions in Twitter	2017-10-11	Paper
RP-DeLP: a weighted defeasible argumentation framework based on a recursive semantics	2017-01-31	Paper
On the performance of MaxSAT and MinSAT solvers on 2SAT-MaxOnes	2017-01-27	Paper
Critical Density Thresholds in Distributed Wireless Networks	2015-10-27	Paper
On the hardness of solving edge matching puzzles as SAT or CSP problems	2015-04-29	Paper
The Sudoku completion problem with rectangular hole pattern is NP-complete	2012-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q5393488	2011-04-18	Paper
Sensor networks and distributed CSP: communication, computation and complexity	2007-10-23	Paper
Regular-SAT: A many-valued approach to solving combinatorial problems	2007-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4475627	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4438827	2003-12-10	Paper
Extending the reach of SAT with many-valued logics	2001-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4938415	2000-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q4262997	1999-09-22	Paper

This page was built for person: Ramon Bejar