Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Knot Pipatsrisawat
On Modern Clause-Learning Satisfiability Solvers
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Related publications
A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
International Journal of Computational Intelligence Systems
Computational Mathematics
Computer Science
On an Unsatisfiability-Satisfiability Prover
Publications of the Research Institute for Mathematical Sciences
Mathematics
European Perspectives on Modern Language Learning
Language Teaching
Linguistics
Language
A Tutorial on Satisfiability Modulo Theories
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Deciding Floating-Point Logic With Abstract Conflict Driven Clause Learning
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Improved Separations of Regular Resolution From Clause Learning Proof Systems
Journal of Artificial Intelligence Research
Artificial Intelligence
Influence of Cyberspace Is on Modern Learning Technologies
Innovate Pedagogy
Modern Machine Learning Applications
Combining Symbolic Constraint Solvers on Algebraic Domains
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
