Author of the publication

Connecting ABT with a SAT Solver.

, , and . STAIRS, volume 284 of Frontiers in Artificial Intelligence and Applications, page 179-184. IOS Press, (2016)

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.

 

Other publications of authors with the same name

The Community Structure of SAT Formulas., , and . SAT, volume 7317 of Lecture Notes in Computer Science, page 410-423. Springer, (2012)A framework of opinion dynamics using fuzzy linguistic 2-tuples., , and . Knowl. Based Syst., (2021)Iterative AWC for Distributed SAT., , and . CCIA, volume 300 of Frontiers in Artificial Intelligence and Applications, page 56-65. IOS Press, (2017)Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract)., , , , , , and . IJCAI, page 6851-6852. ijcai.org, (2023)Link Prediction in Evolutionary Graphs - The Case Study of the CCIA Network., , , , and . CCIA, volume 288 of Frontiers in Artificial Intelligence and Applications, page 187-196. IOS Press, (2016)The Fractal Dimension of SAT Formulas., , , and . IJCAR, volume 8562 of Lecture Notes in Computer Science, page 107-121. Springer, (2014)On the Complexity of Shared Conceptualizations., , and . ICAISC (1), volume 7267 of Lecture Notes in Computer Science, page 629-638. Springer, (2012)Popularity-similarity random SAT formulas., and . Artif. Intell., (2021)Analyzing the extremization of opinions in a general framework of bounded confidence and repulsion., , and . Inf. Sci., (2022)The Impact of Implied Constraints on MaxSAT B2B Instances., , , , and . Int. J. Comput. Intell. Syst., 15 (1): 63 (2022)