( en | de | ru )

 

Disambiguation of "Soler, Joan Ramon"

Author of the publication

copydeleteadd this publication to your clipboard
From Non-Clausal to Clausal MinSAT.

, , , and . CCIA, volume 339 of Frontiers in Artificial Intelligence and Applications, page 27-36. IOS Press, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Laura Ramón Giménez

Julijus Algirdas Ramonas

Urania Joannou

Lutz Ramonat

Francisco José Soler Gil

 

Other publications of authors with the same name

A Clause Tableau Calculus for MaxSAT., , and . IJCAI, page 766-772. IJCAI/AAAI Press, (2016)A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued Logics., and . ISMVL, page 270-275. IEEE Computer Society, (2016)From Non-Clausal to Clausal MinSAT., , , and . CCIA, volume 339 of Frontiers in Artificial Intelligence and Applications, page 27-36. IOS Press, (2021)A Clause Tableau Calculus for MinSAT., , and . CCIA, volume 288 of Frontiers in Artificial Intelligence and Applications, page 88-97. IOS Press, (2016)Clausal Form Transformation in MaxSAT., , and . ISMVL, page 132-137. IEEE, (2019)Clause tableaux for maximum and minimum satisfiability., , , and . Log. J. IGPL, 29 (1): 7-27 (2021)Clausal Forms in MaxSAT and MinSAT., , , and . Int. J. Comput. Intell. Syst., 15 (1): 97 (2022)A Tableau Calculus for Non-clausal Maximum Satisfiability., , and . TABLEAUX, volume 11714 of Lecture Notes in Computer Science, page 58-73. Springer, (2019)Solving the Team Composition Problem in a Classroom., , , and . Fundam. Informaticae, 174 (1): 83-101 (2020)A MaxSAT-Based Approach to the Team Composition Problem in a Classroom., , , and . AAMAS Workshops (Visionary Papers), volume 10643 of Lecture Notes in Computer Science, page 164-173. Springer, (2017)