Author of the publication

The Community Structure of SAT Formulas.

, , and . SAT, volume 7317 of Lecture Notes in Computer Science, page 410-423. Springer, (2012)

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)ABT with Clause Learning for Distributed SAT., and . CAEPIA, volume 9868 of Lecture Notes in Computer Science, page 183-193. Springer, (2016)A Modularity-Based Random SAT Instances Generator., and . IJCAI, page 1952-1958. AAAI Press, (2015)Structure features for SAT instances classification., , , and . J. Appl. Log., (2017)Modeling agent-based consumers decision-making with 2-tuple fuzzy linguistic perceptions., , , and . Int. J. Intell. Syst., 35 (2): 283-299 (2020)Community Structure in Industrial SAT Instances., , , and . CoRR, (2016)