ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1702.03592
  4. Cited By
Graph Neural Networks and Boolean Satisfiability

Graph Neural Networks and Boolean Satisfiability

12 February 2017
Benedikt Bünz
Matthew Lamm
    GNNAI4CENAI
ArXiv (abs)PDFHTML

Papers citing "Graph Neural Networks and Boolean Satisfiability"

4 / 4 papers shown
Title
MEUZZ: Smart Seed Scheduling for Hybrid Fuzzing
MEUZZ: Smart Seed Scheduling for Hybrid Fuzzing
Yaohui Chen
Mansour Ahmadi
Reza Mirzazade Farkhani
Boyu Wang
Long Lu
61
47
0
20 Feb 2020
Improving Graph Attention Networks with Large Margin-based Constraints
Improving Graph Attention Networks with Large Margin-based Constraints
Guangtao Wang
Rex Ying
Jing-ling Huang
J. Leskovec
63
82
0
25 Oct 2019
A Review of Machine Learning Applications in Fuzzing
A Review of Machine Learning Applications in Fuzzing
Gary J. Saavedra
Kathryn N. Rodhouse
Daniel M. Dunlavy
P. Kegelmeyer
74
28
0
13 Jun 2019
Automated proof synthesis for propositional logic with deep neural
  networks
Automated proof synthesis for propositional logic with deep neural networks
Taro Sekiyama
Kohei Suenaga
NAI
44
10
0
30 May 2018
1