Amanote Research
Register
Sign In
DSatz: A Directional SAT Solver for Planning
doi 10.1109/tai.2002.1180805
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
M. Iwen
D. Mali
Publisher
IEEE Comput. Soc
Related search
Versat: A Verified Modern SAT Solver
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tts: A SAT-Solver for Small, Difficult Instances
Journal on Satisfiability, Boolean Modeling and Computation
A Max-Sat Solver With Lazy Data Structures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
MiniMaxSAT: An Efficient Weighted Max-Sat Solver
Journal of Artificial Intelligence Research
Artificial Intelligence
A Verified SAT Solver Framework With Learn, Forget, Restart, and Incrementality
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Unsatisfiability Proofs for Parallel SAT Solver Portfolios With Clause Sharing and Inprocessing
Improving SAT Solver Performance With Structure-Based Preferential Bumping
Safe PLC Controller Implementation IEC 61131-3 Compliant Based on a Simple SAT Solver: Application to Manufacturing Systems
Omni-Directional Walking Gait and Path Planning for Biped Humanoid Robot
Information Technology Journal
