<--- Back to Details
First PageDocument Content
Constraint programming / Logic in computer science / Combinatorial optimization / Heuristics / Operations research / Guided Local Search / WalkSAT / Local search / Maximum satisfiability problem / Theoretical computer science / Mathematics / Applied mathematics
Date: 2007-05-26 07:27:01
Constraint programming
Logic in computer science
Combinatorial optimization
Heuristics
Operations research
Guided Local Search
WalkSAT
Local search
Maximum satisfiability problem
Theoretical computer science
Mathematics
Applied mathematics

Add to Reading List

Source URL: www.bracil.net

Download Document from Source Website

File Size: 203,43 KB

Share Document on Facebook

Similar Documents

Mathematics / Heuristics / Edsger W. Dijkstra / Automated planning and scheduling / Mathematical optimization / Shortest path problem / Admissible heuristic / Search algorithm / Methodology / Algorithm / Cognition

Operator Counting Heuristics for Probabilistic Planning Felipe Trevizan, Sylvie Thi´ebaux, Patrik Haslum Data61, CSIRO and Research School of Computer Science, Australian National University Abstr

DocID: 1xVMg - View Document

Computing / Wireless networking / Information and communications technology / Wireless / Local area networks / Computer network security / Wireless LAN / Wi-Fi / Cisco Meraki / Computer network / Cisco Systems / Dynamic Host Configuration Protocol

White Paper Wireless Health: Powerful Heuristics for Smarter Troubleshooting

DocID: 1xUwO - View Document

Mathematics / Number theory / Elliptic curves / Discrete mathematics / Analytic number theory / Conjectures / Rank of an elliptic curve / TateShafarevich group / Elliptic curve cryptography / Elliptic curve / Birch and Swinnerton-Dyer conjecture / Rational point

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–412) HEURISTICS FOR THE ARITHMETIC OF ELLIPTIC CURVES Bjorn Poonen

DocID: 1xUku - View Document

Automated planning and scheduling / Artificial intelligence / Planning Domain Definition Language / Mathematical optimization / Model checking / Heuristic / Motion planning / Genetic algorithm / Protein domain / Cognitive science / Learning

Thesis Abstract: Constructing Heuristics for PDDL+ Planning Domains Wiktor Piotrowski Supervised by: Daniele Magazzeni and Maria Fox Department of Informatics King’s College London United Kingdom

DocID: 1xTQO - View Document

Age Effects and Heuristics in Decision Making∗ Tibor Besedeˇs Georgia Institute of Technology Cary Deck University of Arkansas Sudipta Sarangi

DocID: 1vpby - View Document