Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Robust Artificial Immune System in the Hopfield network for Maximum k-Satisfiability
Mansor, Mohd Asyraf Bin, Kasihmuddin, Mohd Shareduwan Bin Mohd, Sathasivam, Saratha
Published in International journal of interactive multimedia and artificial intelligence (01.06.2017)
Published in International journal of interactive multimedia and artificial intelligence (01.06.2017)
Get full text
Journal Article
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Mahmood, Yasir, Meier, Arne
Published in Annals of mathematics and artificial intelligence (01.03.2022)
Published in Annals of mathematics and artificial intelligence (01.03.2022)
Get full text
Journal Article
Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models
Fan, Hongyu, Sun, Zhihang, He, Fei
Published in ACM transactions on programming languages and systems (03.03.2023)
Published in ACM transactions on programming languages and systems (03.03.2023)
Get full text
Journal Article
A Flexible Proof Format for SAT Solver-Elaborator Communication
Baek, Seulkee, Carneiro, Mario, Heule, Marijn J. H.
Published in Logical methods in computer science (01.01.2022)
Published in Logical methods in computer science (01.01.2022)
Get full text
Journal Article
Classifier-based constraint acquisition
Prestwich, S. D., Freuder, E. C., O’Sullivan, B., Browne, D.
Published in Annals of mathematics and artificial intelligence (01.07.2021)
Published in Annals of mathematics and artificial intelligence (01.07.2021)
Get full text
Journal Article
Automated non-monotonic reasoning in System P
Stojanovic, Tatjana, Ikodinovic, Nebojsa, Davidovic, Tatjana, Ognjanovic, Zoran
Published in Annals of mathematics and artificial intelligence (01.06.2021)
Published in Annals of mathematics and artificial intelligence (01.06.2021)
Get full text
Journal Article